Abstract
Specification, architecture design and prototyping are fundamental steps in the conception of high-quality software application and, specifically, in computerintegrated manufacturing systems (MS). Functional [1–6] and object-oriented methodologies characterize the two, often intertwining, trends present in the software engineering literature for approaching the problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
De Marco T. Structured analysis and system specification. Prentice-Hall, Englewood Cliffs, NJ, 1979.
Yourdon E, Constantine LL. Structured design. Prentice-Hall, Englewood Cliffs, NJ, 1979.
Peterson JL. Petri nets theory and the modelling of systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.
Brauer W, Reisig W, Rozenberg G (eds). Petri nets: central models and properties. Springer-Verlag, New York, 1987.
Sibertin-Blanc C. High level Petri nets with data structures. In: 6th European workshop on application and theory of Petri nets, Helsinki, June 1975.
Menga G, Morisio M. Prototyping discrete part manufacturing systems. Inf Software Technol 1989; 31: no. 8, October.
Booch G. Object oriented development. IEEE Trans Software Eng 1986; SE-12: February.
HOOD manual. CRI-CISI Ingenierie Matra, Toulouse, France, 1987.
Valette R, Paludetto M. Designing real time software with the object oriented HOOD approach and Petri nets. In: International workshop on software engineering and its applications, Toulouse, France, December 1988.
McLean C, Mitchell M, Barkmeyer E. A computer architecture for small-batch manufacturing. IEEE Spectrum 1983; 20 (5): 59–64.
Van Dyke Parunak H, White JF. A synthesis of factory reference models. In: IEEE 1987 conference on languages for automation, 1987, pp 109–12.
Stroustroup B. What is object oriented programming? IEEE Software 1988; 5 (3): 10–20.
Gorlen KE. An object oriented class library for C++ programs. Software Pract Exper 1987; 17 (12): 899–922.
Menga G, Lo Russo G. G++: an environment for object oriented analysis and prototyping. In: TOOLS’90, June 1990.
Goldberg A, Robson D. Smalltalk80: the language and its implementation. Addison-Wesley, Reading, MA, 1983.
Gehani NH, Roome WD. Rendezvous facilities: concurrent C and the Ada language. IEEE Trans Software Eng 1988; 14 (11): 1546–53.
Hoare CAR. Monitors: an operating system structuring concept. Commun ACM 1974; 17 (10): 549–57.
Gehani NH, Roome WD. Concurrent C. Software Pract Exper 1986; 16(9):821–44.
Andrews GR. Synchronizing resources. ACM Trans Program Lang Syst 1981; 3 (4): 405–30.
Specification and description language—Recommendation Z.100. CCITT, 1986.
Mills HD. Stepwise refinement and verification in box-structured systems. IEEE Comput 1988; 21 (6): 23–36.
Deutsch MS. Focusing real-time systems analysis on user operations. IEEE Software 1988; 5 (7): 39–50.
Borgida, A, Greenspan, S, Mylopodos S. Knowledge representation as the basis for requirements specification. IEEE Comput 1985; April: 82–91.
Liskov BH, Zilles SN. Programming with abstract data types. SIGPLAN Notices 1974; 9 (4): 50–59.
Guttag GV. Abstract data types and the development of data structures. Commun ACM 1977; 20 (6): 396–404.
Meyer B. Object-oriented software construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.
Halbert DC, O’Brien PD. Using types and inheritance in object-oriented programming. IEEE Software 1987; 4 (5): 71–9.
Cox B, Hunt B. Objects, icons and software-ICs. Byte 1986; August: 161–76.
Rockstroem A, Saracco R. SDL-CCITT specification and description language. IEEE Trans Commun 1982; COM-30: June.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag London Limited
About this chapter
Cite this chapter
Menga, G., Elia, G., Mancin, M. (1993). G++: An Environment for Object-Oriented Design and Prototyping of Manufacturing Systems. In: Gruver, W.A., Boudreaux, J.C. (eds) Intelligent Manufacturing:. Advanced Manufacturing Series. Springer, London. https://doi.org/10.1007/978-1-4471-2023-0_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2023-0_4
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2025-4
Online ISBN: 978-1-4471-2023-0
eBook Packages: Springer Book Archive