Filters








295,894 Hits in 3.3 sec

Specifying Quantities in Software Models

Loli Burgueño, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
2019 Information and Software Technology  
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

Constance Heitmeyer, Ralph Jeffords, Ramesh Bharadwaj, Myla Archer
2007 15th IEEE International Requirements Engineering Conference (RE 2007)  
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]

Constance Heitmeyer, James Kirby, Bruce Labaw, Ramesh Bharadwaj
1998 Lecture Notes in Computer Science  
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

Richard M. Keller, Michal Rimon, Aseem Das
1994 Automated Software Engineering : An International Journal  
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

ANIL KUMAR, NAMRATA DHANDA
2014 IJARCCE  
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

Yan Luo, Y. Tina Lee
2007 International Journal of Knowledge Management Studies  
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

B. Andelkovic, V. Litovski, V. Zerbe
2005 EUROCON 2005 - The International Conference on "Computer as a Tool"  
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

G.J. Schick, Lin Chi-Yuan
1979 Journal of Systems and Software  
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

Chih-Cheng Lien, Chien-Chiao Yang
1992 Software, Practice & Experience  
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

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli
2003 Computer  
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

Pankaj N. Moharil .
2016 International Journal of Research in Engineering and Technology  
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

Ioannis N. Athanasiadis, Andrea Emilio Rizzoli, Marcello Donatelli, Laura Carlini
2011 International Journal of Applied Systemic Studies  
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

Emilio Insfrán, Vicente Pelechano, Oscar Pastor
2002 Information and Software Technology  
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

Mircea Chindris, Antoni Sudria i Anderu, Ciprian Bud, Bogdan Tomoiaga
2007 2007 9th International Conference on Electrical Power Quality and Utilisation  
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]

William J. Caelli, Lam-For Kwok, Dennis Longley
2010 IFIP Advances in Information and Communication Technology  
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