Skip header Section
Skip Bibliometrics Section
Structured Development for Real-Time SystemsFebruary 1986
- Authors:
- Paul T. Ward,
- Stephen J. Mellor
Abstract
No abstract available.
Cited By
- von Konsky B, Ivins J and Robey M Using PSP to evaluate student effort in achieving learning outcomes in a software engineering assignment Proceedings of the 7th Australasian conference on Computing education - Volume 42, (193-201)
- Basu S t-UNITY – a formal framework for modeling and reasoning about timing constraints in real-time systems Proceedings of the 6th international conference on Distributed Computing, (138-143)
- Berki E, Georgiadou E and Holcombe M (2019). Requirements Engineering and Process Modelling in Software Quality Management— Towards a Generic Process Metamodel, Software Quality Journal, 12:3, (265-283), Online publication date: 1-Sep-2004.
- Capretz L (2019). A brief history of the object-oriented approach, ACM SIGSOFT Software Engineering Notes, 28:2, (6), Online publication date: 1-Mar-2003.
- Ananidou D, Hassapis G and Kleftouris D High level timed Petri net templates for the temporal verification of real-time multiprocessor applications Proceedings of the 8th Panhellenic conference on Informatics, (386-400)
- Tretmans J, Wijbrans K and Chaudron M (2019). Software Engineering with Formal Methods, Formal Methods in System Design, 19:2, (195-215), Online publication date: 1-Sep-2001.
- Leavens G, Wahls T and Baker A Formal semantics for SA style data flow diagram specification languages Proceedings of the 1999 ACM symposium on Applied computing, (526-532)
- Vranken H, Witteman M and van WUIJTSWINKEL R (1996). Design for Testability in Hardware-Software Systems, IEEE Design & Test, 13:3, (79-87), Online publication date: 1-Sep-1996.
- Kiskis D and Shin K (2019). SWSL, IEEE Transactions on Software Engineering, 20:10, (798-811), Online publication date: 1-Oct-1994.
- Green P, Rushton P and Beggs R An example of applying the codesign method MOOSE Proceedings of the 3rd international workshop on Hardware/software co-design, (65-72)
- Leveson N, Heimdahl M, Hildreth H and Reese J (2019). Requirements Specification for Process-Control Systems, IEEE Transactions on Software Engineering, 20:9, (684-707), Online publication date: 1-Sep-1994.
- Arango G, Bruneau L, Cloarec J and Feroldi A (1991). A Tool Shell for Tracking Design Decisions, IEEE Software, 8:2, (75-83), Online publication date: 1-Mar-1991.
- Burrows D The use of computer-aided software engineering technology in systems and software design Proceedings of the conference on European design automation, (434-438)
- Tikkanen T, Lappänen T and Kivelä J Structured analysis and VHDL in embedded ASIC design and verification Proceedings of the conference on European design automation, (107-111)
- Shlaer S and Mellor S (1989). An object-oriented approach to domain analysis, ACM SIGSOFT Software Engineering Notes, 14:5, (66-77), Online publication date: 1-Jul-1989.
- Bailin S (1989). An object-oriented requirements specifications method, Communications of the ACM, 32:5, (608-623), Online publication date: 1-May-1989.
- Miranda E (1989). Control transformations through Petri Nets, ACM SIGSOFT Software Engineering Notes, 14:2, (45-48), Online publication date: 1-Apr-1989.
- Kocher B (1989). President's letter, Communications of the ACM, 32:3, (292-293), Online publication date: 1-Mar-1989.
- Ashenhurst R (1989). ACM forum, Communications of the ACM, 32:3, (287-ff.), Online publication date: 1-Mar-1989.
- Lamont G and Shakley D Parallel expert system search techniques for a real-time application Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2, (1352-1359)
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and SystemsTiming correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
Software architecture supporting integrated real-time systems
To achieve reliability, reusability, and cost reduction, a significant trend in building large complex real-time systems is to integrate separate application modules of different criticalities in a common hardware platform. An essential requirement of ...