Skip header Section
Skip Bibliometrics Section
Structured Development for Real-Time SystemsDecember 1991
- Authors:
- Paul T. Ward,
- Stephen J. Mellor
Abstract
No abstract available.
Cited By
- Biswas S, Mall R and Satpathy M (2013). A regression test selection technique for embedded software, ACM Transactions on Embedded Computing Systems, 13:3, (1-39), Online publication date: 1-Dec-2013.
- Krüger I, Farcas C, Farcas E and Menarini M Requirements modeling for embedded realtime systems Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (155-199)
- Lev-Ami T and Tyszberowicz S (2019). Reactive and Real-Time Systems Course, Real-Time Systems, 25:2-3, (231-253), Online publication date: 1-Sep-2003.
- Green P, Edwards M and Essa S (2018). HASoC--Towards a New Method for System-on-a-Chip Development, Design Automation for Embedded Systems, 6:4, (333-353), Online publication date: 1-Jul-2002.
- Kolano P (2002). Proof assistance for real-time systems using an interactive theorem prover, Theoretical Computer Science, 282:1, (53-99), Online publication date: 7-Jun-2002.
- Mills K and Gomaa H (2002). Knowledge-Based Automation of a Design Method for Concurrent Systems, IEEE Transactions on Software Engineering, 28:3, (228-255), Online publication date: 1-Mar-2002.
- Harel D, Lachover H, Naamad A, Pnueli A, Politi M, Sherman R, Shtull-Trauring A and Trakhtenbrot M STATEMATE Readings in hardware/software co-design, (135-146)
- Blackwell L, von Konsky B and Robey M Petri net script Proceedings of the 24th Australasian conference on Computer science, (29-37)
- Blackwell L, von Konsky B and Robey M (2018). Petri net script, Australian Computer Science Communications, 23:1, (29-37), Online publication date: 1-Jan-2001.
- Kolano P and Demmerer R (2000). Classification schemes to aid in the analysis of real-time systems, ACM SIGSOFT Software Engineering Notes, 25:5, (86-95), Online publication date: 1-Sep-2000.
- Kolano P and Demmerer R Classification schemes to aid in the analysis of real-time systems Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, (86-95)
- van Lamsweerde A Requirements engineering in the year 00 Proceedings of the 22nd international conference on Software engineering, (5-19)
- Fierz H (2019). The CIP method, ACM SIGSOFT Software Engineering Notes, 24:6, (375-392), Online publication date: 1-Nov-1999.
- Fierz H The CIP method Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, (375-392)
- Martin D (2019). Preliminary design use cases, ACM SIGSOFT Software Engineering Notes, 23:1, (68-71), Online publication date: 1-Jan-1998.
- Scholz D and Petersohn C Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language Proceedings of the 1st International Conference on Formal Engineering Methods
- Sandén B The state-machine pattern Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, (135-142)
- Soininen J, Huttunen T, Tiensyrjä K and Heusala H Cosimulation of real-time control systems Proceedings of the conference on European design automation, (170-175)
- Kang K and Ko K PARTS Proceedings of the 17th international conference on Software engineering, (169-176)
- Sateesh T Conceptual model of real-time systems Proceedings of the 1995 ACM symposium on Applied computing, (206-209)
- Song X (2019). A framework for understanding the integration of design methodologies, ACM SIGSOFT Software Engineering Notes, 20:1, (46-54), Online publication date: 1-Jan-1995.
- Civello F (2019). Roles for composite objects in object-oriented analysis and design, ACM SIGPLAN Notices, 28:10, (376-393), Online publication date: 1-Oct-1993.
- Civello F Roles for composite objects in object-oriented analysis and design Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (376-393)
- Clausen H, Hofmann A and Pawlitzek G (2019). Integration of different system engineering methods using an object-oriented model, ACM SIGPLAN OOPS Messenger, 4:2, (179-181), Online publication date: 1-Apr-1993.
- Kurki-Suonio R (2019). Stepwise Design of Real-Time Systems, IEEE Transactions on Software Engineering, 19:1, (56-69), Online publication date: 1-Jan-1993.
- Clausen H, Hofmann A and Pawlitzek G Integration of different system engineering methods using an object-oriented model Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (179-181)
- Frankel M Analysis/architecture models to ASG models Proceedings of the conference on TRI-Ada '92, (220-231)
- Ladkin P and Simons B Compile-time analysis of communicating processes Proceedings of the 6th international conference on Supercomputing, (248-259)
- Marschalk G SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, (64-74)
- Kurki-Suonio R (2019). Stepwise design of real-time systems, ACM SIGSOFT Software Engineering Notes, 16:5, (120-131), Online publication date: 1-Nov-1991.
- Kurki-Suonio R Stepwise design of real-time systems Proceedings of the conference on Software for citical systems, (120-131)
- Fraser M, Kumar K and Vaishnavi V (2019). Informal and Formal Requirements Specification Languages, IEEE Transactions on Software Engineering, 17:5, (454-466), Online publication date: 1-May-1991.
- Toetenel H, van Katwijk J and Plat N (2019). Structured analysis—formal design, using stream and object oriented formal specifications, ACM SIGSOFT Software Engineering Notes, 15:4, (118-127), Online publication date: 1-Sep-1990.
- Henderson-Sellers B and Edwards J (1990). The object-oriented systems life cycle, Communications of the ACM, 33:9, (142-159), Online publication date: 1-Sep-1990.
- Toetenel H, van Katwijk J and Plat N Structured analysis—formal design, using stream and object oriented formal specifications Conference proceedings on Formal methods in software development, (118-127)
- Coomber C and Childs R (1990). A graphical tool for the prototyping of real-time systems, ACM SIGSOFT Software Engineering Notes, 15:2, (70-82), Online publication date: 1-Apr-1990.
- Harel D, Pnueli A, Lachover H, Naamad A, Politi M, Sherman R, Shtull-Trauring A and Trakhtenbrot M (2019). STATEMATE, IEEE Transactions on Software Engineering, 16:4, (403-414), Online publication date: 1-Apr-1990.
- Oswald H, Esser R and Mattmann R An environment for specifying an executing hierarchical Petri nets Proceedings of the 12th international conference on Software engineering, (164-172)
- Zucconi L, Mack G and Williams L Using object-oriented development for support prototyping Proceedings of the 12th international conference on Software engineering, (129-132)
- Miranda E (1989). Looking for the event list, ACM SIGSOFT Software Engineering Notes, 14:5, (80-82), Online publication date: 1-Jul-1989.
- Gomaa H A software design method for Ada based real time systems Proceedings of the sixth Washington Ada symposium on Ada, (273-284)
- Khalsa G Using object modeling to transform structured analysis into object oriented design Proceedings of the sixth Washington Ada symposium on Ada, (201-212)
- Whitcomb M and Clark B Pragmatic definition of an object-oriented development process for Ada Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (380-399)
- Baldassari M and Bruno G An environment for operational software engineering in Ada Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (126-146)
- Alabiso B (2019). Transformation of data flow analysis models to object oriented design, ACM SIGPLAN Notices, 23:11, (335), Online publication date: 1-Nov-1988.
- Stoecklin S, Adams E and Smith S Object-oriented analysis Proceedings of the fifth Washington Ada symposium on Ada, (133-138)
- Atkins S, Hafer L and Leung P (1988). Robots in the laboratory, ACM SIGCSE Bulletin, 20:1, (36-40), Online publication date: 1-Feb-1988.
- Atkins S, Hafer L and Leung P Robots in the laboratory Proceedings of the nineteenth SIGCSE technical symposium on Computer science education, (36-40)
- Nejmeh B (1988). NPATH: a measure of execution path complexity and its applications, Communications of the ACM, 31:2, (188-200), Online publication date: 1-Feb-1988.
- Bruyn W, Jense R, Keskar D and Ward P (1988). An extended systems modeling language (ESML), ACM SIGSOFT Software Engineering Notes, 13:1, (58-67), Online publication date: 3-Jan-1988.
- Alabiso B Transformation of data flow analysis models to object oriented design Conference proceedings on Object-oriented programming systems, languages and applications
- Nielsen K and Shumate K (1987). Designing large real-time systems with Ada, Communications of the ACM, 30:8, (695-715), Online publication date: 1-Aug-1987.
- Kelly J A comparison of four design methods for real-time systems Proceedings of the 9th international conference on Software Engineering, (238-252)
Index Terms
- Structured Development for Real-Time Systems
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Documentation Driven Development for Complex Real-Time Systems
This paper presents a novel approach for development of complex real-time systems, called the documentation-driven development (DDD) approach. This approach can enhance integration of computer aided software development activities, which encompass the ...
Behavior-driven Development for Real-time Embedded Systems
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)Embedded systems are a class of computer systems that are typically characterized by a tight interaction with the physical environment. Various methodologies have been adopted for the development of such systems, ranging from traditional waterfall to ...