A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Specifying Quantities in Software Models
2019
Information and Software Technology
Preserved Fulltext
Method: We introduce the main concepts and mechanisms needed for representing and handling physical quantities in software models. ...
Conclusion: Our approach improves the expressiveness and type-safety of software models with respect to measurement uncertainty and units of physical quantities, and its effective use in modeling projects ...
in software models [5] , in particular units or real-time properties. ...
doi:10.1016/j.infsof.2019.05.006
fatcat:6gzn3mbuprcnvptgmjbewrqi6y
RE Theory Meets Software Practice: Lessons from the Software Development Trenches
2007
15th IEEE International Requirements Engineering Conference (RE 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
in practical software development. ...
Based on our recent experience in four projects, each focused on either security-critical or safety-critical software, this paper evaluates several notions, widely held by RE researchers, for their utility ...
as apply in specifying a software system embedded in a physical environment. ...
doi:10.1109/re.2007.20
dblp:conf/re/HeitmeyerJBA07
fatcat:agvs77xirrd4do3qw5qpg2hwyy
SCR: A toolset for specifying and analyzing software requirements
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The method also provides support for more "heavy-duty" tools, such as a model checker. To make model checking feasible, users can automatically apply one or more abstraction methods. ...
This paper describes the SCR (Software Cost Reduction) tools, part of a "practical" formal method--a method with a solid mathematical foundation that software developers can apply without theorem proving ...
The SCR (Software Cost Reduction) requirements method is a formal method based on tables for specifying the requirements of safety-critical software systems. ...
doi:10.1007/bfb0028775
fatcat:u7efogwggvdaldqxa4p3yjzuka
A knowledge-based prototyping environment for construction of scientific modeling software
1994
Automated Software Engineering : An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Over the past 30 years, scientific software models have played an increasingly prominent role in the conduct of science. ...
We have developed a knowledge-based software development tool that assists scientists in prototyping scientific models. ...
Finally, thoughtful and comprehensive comments by anonymous reviewers were of great assistance in improving this paper. ...
doi:10.1007/bf00871693
fatcat:wufhswxogjgmjilf64gordkroa
Reliability estimation of object oriented design a systematic review
IJARCCE - Computer and Communication Engineering
2014
IJARCCE
IJARCCE - Computer and Communication Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Over the past decades, software quality attributes have been extensively studied. In compare, fewer attentions have been paid to the field of software reliability. ...
In this review paper, our contribution is to discover the available recognized comprehensive and an absolute model or frameworks for measuring the reliability of object oriented design at an early phase ...
Fault: A deficiency in a program that causes failure. Failure Intensity (rate) f (t): The projected quantity of failures experienced in a specified time interval. ...
doi:10.17148/ijarcce.2014.31205
fatcat:vsqfytqgevgtfevowoqoigugsa
The interface development for machine shop simulation
2007
International Journal of Knowledge Management Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
A machine shop information model, developed at the National Institute of Standards and Technology (NIST), provides data interfaces for integrating machine shop software applications with simulation. ...
The model is represented by Extensible Markup Language and Unified Modelling Language. ...
, on-order-quantity, required-quantity, safety-stock-quantity, and work-in-progress-quantity. ...
doi:10.1504/ijkms.2007.012539
fatcat:yiky7i73nvgydcbqhw4mqyy2jq
New Aspects in HDL's Performance Evaluation
2005
EUROCON 2005 - The International Conference on "Computer as a Tool"
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
New aspects in Hardware Description Language's (HDL) performance evaluation such as objectorientation, system-level modeling, analog and mixed-signal modeling, software description and verification capabilities ...
are analyzed in this paper. ...
Signals and ports used for communication in hardware models are different from constructs used in software programming. ...
doi:10.1109/eurcon.2005.1629974
fatcat:urttnk375ze5fj5aooznv5aam4
Use of a subjective prior distribution for the reliability of computer software
1979
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the development of large-scale computer software subjective assessment ot the probability distribution. and in the management of the development process, it Once this has been done, the general shape ...
prior distribution and the other sug-at least based upon some evidence, namely, the opingests a family of probability functions. ion of the experts in charge of developing the software The importance ...
The latter is given in In the development of large-scale computer software and in the management, of the development process, it is often useful to model the reliability and the cost of development of ...
doi:10.1016/0164-1212(79)90026-8
fatcat:m2p5pyldjfekfalluaxfrih67y
Specification and quality assurance of timing constraints in real-time systems development
1992
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
A frame-like software requirements specification language (FSRSL) is extended to specify timing constraints and the related descriptions in the paper. ...
Four parts of descriptions in a timing constraint: the path of events, timer, types of constraints and quantities of time, are explained. ...
Whether the specified maximum quantity of a constraint is larger than, or equal to, the specified minimum quantity can be checked using simple arithmetic, if the quantities are in numerical form. ...
doi:10.1002/spe.4380221104
fatcat:wgqk2ekb7bddxcfvoklyorccwa
Metropolis: an integrated electronic system design environment
2003
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Because the model has a precise semantics, it can support several synthesis and formal analysis tools in addition to simulation. ...
This uncertainty often results in errors that are difficult to identify and debug. The move toward programmable platforms shifts the design implementation task toward embedded software design. ...
Several processes model software tasks that execute on the CPU; three media model the CPU, bus, and memory; and four quantity managers measure the cost in system resources of processing individual events ...
doi:10.1109/mc.2003.1193228
fatcat:q345jhhcmvbx3nwnqcxys6sm3e
PERFORMANCE REQUIREMENT ANALYSIS AND EVALUATION MODEL OF WEB APPLICATIONS
2016
International Journal of Research in Engineering and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, it proposes the Performance Requirement Analysis and Evaluation Model (PRAEM) as a software performance mainframe schema settled on the particularization of quantitative analysis and loads ...
Development People has to state accurate software performance requirements, proper plan to test cases, and utilize appropriate skills to examine the software performance characteristic which helps in developing ...
In this section, PRAEM Model shows the phases to specify the performance requirement in efficient manner and achieve the required goals. ...
doi:10.15623/ijret.2016.0517017
fatcat:zir6ucgugvf7blmnbn4u3xswra
Enriching environmental software model interfaces through ontology-based tools
2011
International Journal of Applied Systemic Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
complexity of model assumptions in software terms. ...
Common practice has proven that software implementations of environmental models are seldom reused by broader communities or in different modelling frameworks. ...
The Measurement class specifies the following properties of a model interface element: • The observed quantity A Quantity can be considered as the result of applying a physical dimension on a subject of ...
doi:10.1504/ijass.2011.042205
fatcat:jy54spafancdfcuhoc4g56qsrq
Conceptual Modeling in the eXtreme
2002
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a Conceptual Modeling in the Extreme approach for automatic software production this approach focuses the developer's efforts in the Requirements and Conceptual Modeling phases ...
in an extreme way. ...
The following precondition change_stock(quantity) if (stock 2 quantity) . ¼ 0 is detected in the Sequence Diagram of Fig. 3 (step 7) and is specified using OASIS notation. ...
doi:10.1016/s0950-5849(02)00093-9
fatcat:2sjt6xggovbqvk555kbxaiyj7q
The load flow calculation in unbalanced radial electric networks with distributed generation
2007
2007 9th International Conference on Electrical Power Quality and Utilisation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To illustrate the proposed methodology, authors have developed original software that allows performing all necessary operations with three-phase unbalanced electrical quantities. ...
For this purpose, authors propose to model the electrical three phase quantities as abstract data types characterized by three parameters and some definite operations. ...
the components of voltage, and the unknown quantities are the components of loads (powers, currents); • more consumer nodes, to which the specified quantities are different loads (modelled as constant ...
doi:10.1109/epqu.2007.4424104
fatcat:f2jg46qsaraetmi66rjgvdlu34
A Business Continuity Management Simulator
[chapter]
2010
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A general model for such a BCM simulator is presented, and the implementation of a prototype simulator is described. ...
The simulator then explores any changes in data security introduced by the proposed post disturbance configuration and reports any enhanced risk. ...
This project employed an ISM software package developed in a resource project undertaken by the Information Security Institute, Queensland University of Technology funded by the Australian Commonwealth ...
doi:10.1007/978-3-642-15257-3_2
fatcat:6ssjjsiqbjeldbejkxtmczvdfm
« Previous
Showing results 1 — 15 out of 295,894 results