Filters








19 Hits in 4.0 sec

A rule-based approach to producing Z specifications from Jackson system development

Jonathan Lee, Jiann-I Pan
1998 International Journal of Intelligent Systems  
First, JSD can be seen both as a structuring mechanism that helps in deriving Z specifications, and as a preliminary that assists in ascertaining the clients requirements.  ...  In JSDZ, JSP is to serve as the structuring mechanism to help the analysis of problem domains, and Z is to express the formal specifications of JSD artifacts.  ...  France provided a semantically extended DFD as a control-extended DFD Ž . 7 C-DFD associated with an algebraic specification technique.  ... 
doi:10.1002/(sici)1098-111x(199807)13:7<587::aid-int1>3.0.co;2-g fatcat:yfutartl65ehlfbuorxibnizbq

A Comparison Of Software Analysis And Design Methods For Real Time Systems

Anthony Spiteri Staines
2007 Zenodo  
This paper examines and compares several of the most common real time methods. These methods are CORE, YSM, MASCOT, JSD, DARTS, RTSAD, ADARTS, CODARTS, HOOD, HRT-HOOD, ROOM, UML, UML-RT.  ...  The methods are compared using attributes like i) usability, ii) compositionality and iii) proper RT notations available. Finally some comparison results are given and discussed.  ...  The idea is to identify objects in a parent to child relationship and their operations. A graphical system description is produced in a control/ dataflow diagram.  ... 
doi:10.5281/zenodo.1055538 fatcat:k6rxzeztrvcilo2frmeign7mtm

A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems

Valéry M. Monthe, Laurent Nana, Georges E. Kouamou, Claude Tangha
2016 Journal of Software Engineering and Applications  
The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems.  ...  An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development  ...  This tool is not free. -Jackson Workbench: is a suite of tools making it possible to build, among others, the JSD diagrams.  ... 
doi:10.4236/jsea.2016.97025 fatcat:cvdgqjuisbfilf5p3qgp6fd2kq

A survey of structured and object-oriented software specification methods and techniques

Roel Wieringa
1998 ACM Computing Surveys  
The techniques are classified as techniques for the specification of external interaction and internal decomposition.  ...  The article ends with a plea for simplicity in diagram techniques and for the use of formal semantics to define these techniques.  ...  ACKNOWLEDGMENTS The survey benefited from detailed comments by Michael Jackson and Frank Dehne. The anonymous referees gave useful comments for further improvement.  ... 
doi:10.1145/299917.299919 fatcat:4j6vfv5w6rchbnqpdc6c4vpgvu

Tools for specifying real-time systems

Giacomo Bucci, Maurizio Campanai, Paolo Nesi
1995 Real-time systems  
At present, tools have the potential for improving software quality as well as engineers' productivity. Many tools have grown out of languages and methodologies proposed in the early 1970s.  ...  Specification techniques are classified as operational, descriptive or dual if they have both operational and descriptive capabilities.  ...  In addition, they wish to thank also A. Corgiatini, R. Mattolini, O. Morales, M. Traversi, and E. Vicario, for their help.  ... 
doi:10.1007/bf01094341 fatcat:wmjlzjkegbb2bgi7twtlxffqnq

The impact of experience on individual performance and workload differences using object-oriented and process-oriented systems analysis techniques

M.G. Morris, C. Speier, J.A. Hoffer
1996 Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences  
Proponents of OOA and OOD have called the shift to these methods "revolutionary" and have cited a number of impressive claims with respect to their use.  ...  The study used a 2X2X2 repeated measures partial factorial design with expen'ence and method order as between subject variables and analysis method as the within subjects variable.  ...  We then built a case description around the DFD solution and descriptions in the text.  ... 
doi:10.1109/hicss.1996.495404 dblp:conf/hicss/MorrisSH96 fatcat:ilquxaxdf5babjnuc4e2oeus6u

Feasibility of flexible information modelling support [chapter]

T. F. Verhoef, A. H. M. Hofstede
1995 Lecture Notes in Computer Science  
This paper does not address the benefits of CASE shells, as they are completely clear, but focuses on the feasibility of thi~ concept from a theoretical as well as a practical point of view.  ...  A CASE shell is a method independent CASE tool, which may be instantiated with a specific method to become a CASE tool supporting that method. As such, a CASE shell provides complete flexibility.  ...  First the DFD concepts which appear in this meta-model are clarified. According to [You89], a DFD pictures a system as a network of functional processes.  ... 
doi:10.1007/3-540-59498-1_245 fatcat:4d5q54yaojagngfxucmzrwv7uu

Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods

R. J. Wieringa
1995 Computer journal  
A conceptual model of a system is an explicit description of the behaviour required of the system.  ...  It is shown that there is a common core of these methods, which centres around the concept of system transaction and that unifies the static view of a system taken by ER modelling, with the dynamic view  ...  This ER extension of JSD allows us to show in Section 4 what the relationship between JSD and DFD modelling is.  ... 
doi:10.1093/comjnl/38.1.17 fatcat:2xihczisczft5bkglsjvhdc2vu

The role of task analysis in capturing requirements for interface design

Juliet Richardson, Thomas C. Ormerod, Andrew Shepherd
1998 Interacting with computers  
In this paper. we offer a view of task analysis that resolves this problem.  ...  A reformulation of hierarchical task analysis is offered, based on the sub-goal template (SGT) scheme.  ...  However, a debate has arisen [ IO-121 as to whether task analysis is an appropriate tool for design.  ... 
doi:10.1016/s0953-5438(97)00036-2 fatcat:xfdgeycsvrdp3gkx2uqddzjtxe

Modeling of discrete dynamic systems—Framework and examples

Kees M. van Hee, Geert-Jan Houben, Jan L.G. Dietz
1989 Information Systems  
Since many of these notes are preliminary versions or may be published elsewhere, they have a limited distribution only and are not for review.  ...  Comparison of the ddS-diagram and the DFD The DFD (Data Flow Diagram) is a graphical presentation technique, that is especially used by the "structured" analysis and design approaches (Yourdon, DeMarco  ...  The same remaries as were made in section 6.l. hold for the DFD. We have developed a framework for the fonnal description of systems of a large class. including infonnation systems.  ... 
doi:10.1016/0306-4379(89)90048-3 fatcat:clrrjjcvubblnc3raclco6fljy

Specification of Requirements Models [chapter]

Ricardo J. Machado, Isabel Ramos, João M. Fernandes
Engineering and Managing Software Requirements  
The main aim of this chapter is to present and discuss a set of modeling and specification techniques, in what concerns their ontology and support in the requirements representation of computer-based systems  ...  From the point of view of the system designer or the requirements engineer, a requirement could also be defined as "something that must be designed."  ...  Specification Methodology Formal description, comparison, and construction of methods and techniques for systems development are the main goals of the method engineering community [19] .  ... 
doi:10.1007/3-540-28244-0_3 fatcat:rr5xp6fc55ds7lhhdsve3adtly

Metrics-based evaluation of object-oriented software development methods

R.R. Dumke, E. Foltin
Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering  
of this method and starts in general with a lack of tool supporting, no support for paradigm changing, and with a lot of 'motivation' for a maximal spread in the marketing; 2. the description of a development  ...  method in the literature according to the comparison of different (OO) methods usually includes a comparison of the features and does not address maintenance, porting, and quality issues.  ... 
doi:10.1109/csmr.1998.665803 dblp:conf/csmr/DumkeF98 fatcat:ngrvxv4htreuhogirr76ggfeiy

Journal of Sustainable Development, Vol. 3, No. 1. March 2010

Editor JSD
2010 Journal of Sustainable Development  
The paper concludes by identifying a number of research questions which will be investigated through the remainder of the project.  ...  This paper presents the findings which have arisen from a literature review carried out at the beginning of a three year CONACYT sponsored PhD project, investigating water-related activities in the home  ...  Jailani who helped us a lot during data collection process.  ... 
doi:10.5539/jsd.v3n1p0 fatcat:ypzb5xoponblvkxf735pzwaymi

Overview of Current Research [chapter]

Social Skills and Autistic Spectrum Disorders  
Finally, some conclusions are given, as well as an indication of the directions of my future research. 1  ...  It is the most comprehensive part of the documentation I made during the literature research stage of my PhD project, which should result in a modelling framework for interactive systems.  ...  It is said that, as a human may shape a tool according to a task at hand, the tool will also shape the human, as the human is restricted to working with the limitations of the tool; humans and their tools  ... 
doi:10.4135/9781446213834.n3 fatcat:lns4327dlnbllgldtb2d77rkym

ČASOPIS ZA TEHNOLOGIJO RAČUNALNIŠTVA IN PROBLEMEINFORMATIKE ČASOPIS ZA RAČUNARSKU TEHNOLOGIJU I PROBLEMEINFORMATIKE SPISANIE ZA TEHNOLOGIJA NA SMETANJETO I PROBLEMI OD OBLASTA NA INFORMATIKATA

Uredniski Odbor, Aleksic, Bitraikov, Skopje, Rijeka Dragojlovle, Ljubljana Hodzar, Horvat, Sarajevo Mandzic, Mihalie, Turk
unpublished
Aa in the of this method a series of understandable tools and those being near to the man is used ( a detailed description is given in the foliowing chapters ) the method permits immediate correction of  ...  IRREPROACHABILITY OF MEASUREMENTS The authors of this article 'also find questionable comparing between the system and the expert, since we regard EL systems mainly as a helping tool and not as a stand-alone  ...  As there is a lot of diversity in the terminology we point out some of the main problems and try to eliminate them by defining the most useful terms.  ... 
fatcat:4avanydoynghzcxaz6hbxcamai
« Previous Showing results 1 — 15 out of 19 results