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.
Filters
A rule-based approach to producing Z specifications from Jackson system development
1998
International Journal of Intelligent Systems
Preserved Fulltext
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
2007
Zenodo
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.
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
2016
Journal of Software Engineering and Applications
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.
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
1998
ACM Computing Surveys
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.
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
1995
Real-time systems
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.
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
1996
Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences
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.
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]
1995
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 2020; you can also visit the original URL.
The file type is application/pdf.
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
1995
Computer 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 2018; you can also visit the original URL.
The file type is application/pdf.
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
1998
Interacting with computers
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 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
1989
Information Systems
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.
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]
Engineering and Managing Software Requirements
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.
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
Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering
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 2007; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Sustainable Development
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.
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
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.
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
unpublished
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.
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