Postmodern software design with NYAM: Not yet another method

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1526, Issue , 1998, Pages 69-94

  Wieringa, Roel ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCE; DATA ENCAPSULATION; DATA FLOW ANALYSIS; DATA FLOW GRAPHS; DATA HANDLING; DIGITAL STORAGE; SOFTWARE DESIGN; SYSTEMS ENGINEERING;

CONCEPTUAL FRAMEWORKS; DATA FLOW DIAGRAMS; DESIGN ENGINEERING; DESIGN TECHNIQUE; DOMAIN-ORIENTED; EXTERNAL SYSTEMS; OBJECT ORIENTED; OBJECT-ORIENTED SOFTWARE DESIGNS;

OBJECT ORIENTED PROGRAMMING;

EID: 84948184022     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10692867_3     Document Type: Conference Paper

References (67)

1. B. Alabiso. Transformation of data flow analysis models to object oriented design. In N. Meyrowitz, editor, Object-Oriented Programming Systems, Languages and Applications, Conference Proceedings, pages 335-353. ACM Press, 1988. SIGPLAN Notices, volume 23.
2. M. Awad, J. Kuusela, and J. Ziegler. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice-Hall, 1996.
3. S.C. Bailin. An object-oriented requirements specification method. Communications of the ACM, 32:608-623, 1989.
4. M. von der Beeck. A comparison of Statecharts variants. In H. Langmaack, W.P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 128-148. Springer, 1994. Lecture Notes in Computer Science 863.
5. F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from protocol Specification. Prentice-Hall, 1991.
6. G. Booch. Object-Oriented Design with Applications, Second edition. Benjamin/Cummings, 1994.
7. R. Bræk and Ø. Haugen. Engineering Real-Time Systems. Prentice-Hall, 1993.
8. D. Coleman. Fusion with use cases: Extending Fusion for requirements modeling. Available through URL: http://www.hpl.hp.com/fusion/index.html, 1996.
9. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The FUSION Method. Prentice-Hall, 1994.
10. S. Cook and J. Daniels. Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice-Hall, 1994.
11. A. M. Davis. Software Requirements: Objects, Functions, States. Prentice-Hall, 1993.
12. Defense Systems Management College. Systems engineering management guide. Technical report, Technical Management Department, January 1990.
13. F. Dehne and R.J. Wieringa. Toolkit for Conceptual Modeling (TCM): User’s Guide. Technical Report IR-401, Faculty of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081 HV Amsterdam, 1996. http://www.cs.vu.nl/~tcm.
14. T. DeMarco. Structured Analysis and System Specification. Yourdon Press/Prentice-Hall, 1978.
15. G. Eckert. Improving the analysis stage of the Fusion method, pages 276-313. 1996.
16. R. B. France. Semantically extended data flow diagrams: a formal specification tool. IEEE Transactions on Software Engineering, 18 (4):329-346, April 1992.
17. A.D. Hall. A Methodology for Systems Engineering. Van Nostrand, 1962.
18. A.D. Hall. Three-dimensional morphology of systems engineering. IEEE Transactions on System Science and Cybernetics, SSC-5 (2):156-160, 1969.
19. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987. Preliminary version appeared as Technical Report CS 84-05, The Weizmann Institute of Science, Rehovot, Israel, February 1984.
20. D. Harel and E. Gery. Executable object modeling with statecharts. In Proceedings of the 18th International Conference on Software Engineering, pages 246-257. IEEE Press, 1996.
21. D. Harel and E. Gery. Executable object modeling with statecharts. Computer, 30 (7):31-42, July 1997.
22. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16:403-414, April 1990.
23. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5 (4):293-333, October 1996.
24. D. Harel and A. Pnueli. On the development of reactive systems. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 477-498. Springer, 1985. NATO ASI Series.
25. D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceedings, Symposium on Logic in Computer Science, pages 54-64. Computer Science Press, June 22-25 1987.
26. J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.
27. i-Logix. The Languages of STATEMATE. Technical report, i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A., January 1991. To be published as D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEM-ATE Approach.
28. ITU. Criteria for the Use and Applicability of Formal Description Techniques: Message Sequence Charts (MSC). International Telecommunication Union, 1994. Z. 120 (03/93).
29. M. Jackson. System Development. Prentice-Hall, 1983.
30. M. Jackson. Software Requirements and Specifications: A lexicon of practice, principles and prejudices. Addison-Wesley, 1995.
31. I. Jacobson, M. Christerson, P. Johnsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Prentice-Hall, 1992.
32. P. Jalote. Functional refinement and nested objects for object-oriented design. IEEE Transactions on Software Engineering, 15 (3):264-270, March 1989.
33. I. Lakatos. Proofs and Refutations. Cambridge University Press, 1976. Edited by J. Worall and E. Zahar.
34. J. Martin. Information Engineering, Book I: Introduction. Prentice-Hall, 1989.
35. J. Martin. Information Engineering, Book II: Planning and analysis. Prentice-Hall, 1989.
36. J. Martin and J. Odell. Object-Oriented Methods: A Foundation. Prentice-Hall, 1995.
37. S. M. McMenamin and J. F. Palmer. Essential Systems Analysis. Yourdon Press/Prentice Hall, 1984.
38. R. Milner. A Calculus of Communicating Systems. Springer, 1980. Lecture Notes in Computer Science 92.
39. B. Møller-Pedersen, D. Belsnes, and H.P. Dahle. Rationale and tutorial on OSDL: an object-oriented extension of SDL. Computer Networks and ISDN Systems, 13:97-117, 1987.
40. Objectory AB. Objectory: Requirements Analysis, Version 3.6, 1995.
41. D.L. Parnas and P.C. Clements. A rational design process: How and why to fake it. IEEE Transactions on Software Engineering, SE-12:251-257, 1986.
42. M. Polman, M. van Steen, and A. de Bruin. Formalizing a design technique for distributed systems. In Proceedings Second International Workshop on Software Engineering for Parallel and Distributed Systems, pages pages 150-159, Boston, May 1997.
43. M. Polman, M. van Steen, and A. de Bruin. A structured design technique for distributed programs. In Proceedings 22nd International Computer Software and Applications Conference (CompSac), Vienna, August 1998.
44. Rational. Unified Modeling Language: Notation Guide, Version 1.1. Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951, 1 September 1997. URL http://www.rational.com/uml/U1/.
45. Rational. Unified Modeling Language: Semantics, Version 1.1. Rational Software Corporation, 1 September 1997. URL http://www.rational.com/uml/1.1/.
46. N.F.M. Roozenburg and J. Eekels. Product design: Fundamentals and Methods. Wiley, 1995.
47. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design. Prentice-Hall, 1991.
48. E. Seidewitz and M. Stark. Toward a general object-oriented software development methodology. ADA Letters, 7 (4):54-67, july/august 1987.
49. S. Shlaer and S. J. Mellor. Object Lifecycles: Modeling the World in States. Prentice-Hall, 1992.
50. W. Swartout and R. Balzer. On the inevitable intertwining of specification and implementation. Communications of the ACM, 25:438-440, 1982.
51. B. van Vlijmen and R.J. Wieringa. Using the Tools in TRADE, I: A Decision Support System for Traffic Light maintenance. Technical Report IR-435, Faculty of Mathematics and Computer Science, Vrije Universiteit, November 1997. ftp://ftp.cs.vu.nl/pub/roelw/97-TRADE01.ps.Z.
52. P. T. Ward and S. J. Mellor. Structured Development for Real-Time Systems. Prentice-Hall/Yourdon Press, 1985. Three volumes.
53. P.T. Ward. How to integrate object orientation with structured analysis and design. Computer, pages 74-82, March 1989.
54. R.J. Wieringa. A formalization of objects using equational dynamic logic. In C. Delobel, M. Kifer, and Y. Masunaga, editors, 2nd International Conference on Deductive and Object-Oriented Databases (DOOD’91), pages 431-452. Springer, 1991. Lecture Notes in Computer Science 566. ftp://ftp.cs.vu.nl/pub/roelw/91-DynamicObjects.ps.Z.
55. R.J. Wieringa. LCM 3.0: Specification of a control system using dynamic logic and process algebra. In C. Lewerentz and T. Lindner, editors, Formal Development of Reactive Systems - Case Study Production Cell, pages 333-355. Springer, 1994. Lecture Notes in Computer Science 891. ftp://ftp.cs.vu.nl/pub/roelw/94-ProductionCell.ps.Z.
56. R.J. Wieringa. Combining static and dynamic modeling methods: a comparison of four methods. The Computer Journal, 38 (1):17-30, 1995. ftp://ftp.cs.vu.nl/pub/roelw/95-MethodIntegration.ps.Z.
57. R.J. Wieringa. Requirements Engineering: Frameworks for Understanding. Wiley, 1993. http://www.cs.vu.nl/~roelw/RE1.ps.
58. R.J. Wieringa. A survey of structured and object-oriented software specification methods and techniques. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081 HV Amsterdam, 1997. To be published, ACM Computing Surveys.
59. R.J. Wieringa. Using the tools in TRADE, II: Specification and design of a meeting scheduler system. Technical Report IR-436, Faculty of Mathematics and Computer Science, Vrije Universiteit, November 1997. ftp://ftp.cs.vu.nl/pub/roelw/97-TRADE02.ps.Z.
60. R.J. Wieringa and J. Broersen. A minimal transition system semantics for lightweight class- and behavior diagrams. In Workshop on Precise Semantics for Software Modeling techniques, 1998. To be published.
61. R.J. Wieringa and E. Dubois. Integrating semi-formal and formal software specification techniques. Information Systems, 23(3/4), 1998.
62. R.J. Wieringa, E. Dubois, and S. Huyts. Integrating semi-formal and formal requirements. In A. Olivé and J.A. Pastor, editors, Advanced Information Systems Engineering, pages 19-32. Springer, 1997. Lecture Notes in Computer Science 1250. ftp://ftp.cs.vu.nl/pub/roelw/97-TradeAlbert.ps.Z.ps.Z.
63. R.J. Wieringa, W. de Jonge, and P.A. Spruit. Using dynamic classes and role classes to model object migration. Theory and Practice of Object Systems, 1 (1):61-83, 1995. ftp://ftp.cs.vu.nl/pub/roelw/95-DynamicClassesAndRoles.ps.Z.
64. R.J. Wieringa and J.-J. Ch. Meyer. Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 7:289-346, 1993. ftp://ftp.cs.vu.nl/pub/roelw/93-DeonticActors.ps.Z.
65. R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. Prentice-Hall, 1990.
66. E. Yourdon. Modern Structured Analysis. Prentice-Hall, 1989.
67. Yourdon Inc. Yourdon™ Systems Method: Model-Driven Systems Development. Prentice-Hall, 1993.