Structuring criteria for real time system design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Structuring criteria for real time system design

Full text

Pdf (1.20 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 11th international conference on Software engineering table of contents

Pittsburgh, Pennsylvania, United States

Pages: 290 - 301

Year of Publication: 1989

ISBN:0-8186-1941-4

Author

Hassan Gomaa

School of Information Technology & Engineering, George Mason University, Fairfax, Virginia and Software Productivity Consortium, Herndon, Virginia

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 13, Downloads (12 Months): 39, Citation Count: 11

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/74587.74627 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G. Booth, "Object Oriented Development", IEEE Transactions on Software Engineering, February 1986.
	2	Buhr R, "System Development with Ada", Prentice Hall, 1984.
	3	H. Gomaa, A software design method for real-time systems, Communications of the ACM, v.27 n.9, p.938-949, Sept. 1984 [doi>10.1145/358234.358262]
	4	Hassan Gomaa, Software development of real-time systems, Communications of the ACM, v.29 n.7, p.657-668, July 1986 [doi>10.1145/6138.6150]
	5	H. Gomaa, A software design method for distributed real-time applications, Journal of Systems and Software, v.9 n.2, p.81-94, February 1, 1989 [doi>10.1016/0164-1212(89)90012-5]
	6	D. Harel , H. Lachover , A. Naamad , A. Pnueli , M. Politi , R. Sherman , a. Shtul-Trauring, Statemate: a working environment for the development of complex reactive systems, Proceedings of the 10th international conference on Software engineering, p.396-406, April 11-15, 1988, Singapore
	7	Derek J. Hatley , Imtiaz A. Pirbhai, Strategies for real-time system specification, Dorset House Publishing Co., Inc., New York, NY, 1987
	8	M. A Jackson, System development (Prentice-Hall International series in computer science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1983
	9	Glenford J. Myers, Composite Structure Design, John Wiley & Sons, Inc., New York, NY, 1978
	10	Meilir Page-Jones, The practical guide to structured systems design: 2nd edition, Yourdon Press, Upper Saddle River, NJ, 1988
	11	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	12	D.L. Parnas, "Designing Software for Ease of Extension and Contraction", IEEE Transactions on Software Engineering, March 1979.
	13	D.L. Pamas, P. Clements and D. Weiss, 'The Modular Structure of Corn lex Conference on So P Systems",. Proc. 7th International tware Engineermg, March 1984.
	14	Stuart R. Faulk , David L. Parnas, On synchronization in hard-real-time systems, Communications of the ACM, v.31 n.3, p.274-287, March 1988 [doi>10.1145/42392.42397]
	15	Bo Sanden, An entity-life modeling approach to the design of concurrent software, Communications of the ACM, v.32 n.3, p.330-343, March 1989 [doi>10.1145/62065.62069]
	16	G. Schebella et al, "On the use of GSPNs for the specification and analysis of real time systems", Proc. Structured Techniques Association Conf., May 1989.
	17	S. M. Shatz , W. K. Cheng, A Petri net framework for automated analysis of Ada tasking behavior, Journal of Systems and Software, v.8 n.5, p.343-359, Dec. 1988 [doi>10.1016/0164-1212(88)90027-1]
	18	P T Ward, The transformation schema: An extension of the data flow diagram to represent control and timing, IEEE Transactions on Software Engineering, v.12 n.2, p.198-210, Feb. 1986
	19	E. Yourdon & L. Constantine, "Structured Design", Yourdon Press, 1978.

CITED BY 11

	Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993
	Bo Sanden, Entity-life modeling and structured analysis in real-time software design—a comparison, Communications of the ACM, v.32 n.12, p.1458-1466, Dec. 1989
	Mike Cochran , Hassan Gomaa, Validating the ADARTS software design method for real-time systems, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.33-44, October 21-25, 1991, San Jose, California, United States
	Hassan Gomaa, A software design method for Ada based real time systems, Proceedings of the sixth Washington Ada symposium on Ada, p.273-284, July 1989, McLean, Virginia, United States
	Pen-Nan Lee , Ravinder R. Purumandla , William Nehman, Concurrent simulation with entity life modeling: an airport simulator using Ada, Proceedings of the 22nd conference on Winter simulation, p.911-918, December 09-12, 1990, New Orleans, Louisiana, United States
	Colin Potts, Seven (plus or minus two) challenges for requirements research, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	Tsuneo Ajisaka, Software quark model: an elementary particle model for measuring software evolution, Proceedings of the 4th International Workshop on Principles of Software Evolution, September 10-11, 2001, Vienna, Austria
	Tal Lev-Ami , Shmuel S. Tyszberowicz, Reactive and Real-Time Systems Course: How to Get the Most Out of it, Real-Time Systems, v.25 n.2-3, p.231-253, September-October 2003
	Kevin L. Mills , Hassan Gomaa, Knowledge-Based Automation of a Design Method for Concurrent Systems, IEEE Transactions on Software Engineering, v.28 n.3, p.228-255, March 2002
	Swathi C. Solsi , Edward L. Jones, Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams, ACM SIGAda Ada Letters, v.XI n.2, p.115-127, March/April 1991
	S. Mrdalj, Biblio of object-oriented system development, ACM SIGSOFT Software Engineering Notes, v.15 n.5, p.60-63, Oct. 1990