Object-Oriented Behavioral Specifications

• Main Authors: Kilov, Haim (Author), Harvey, William (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 1996.
• Series: The Springer International Series in Engineering and Computer Science, 371
• Subjects: Computer science.; Information technology.; Business > Data processing.; Software engineering.; Programming languages (Electronic computers).; Data structures (Computer science).; Computer Science.; Software Engineering/Programming and Operating Systems.; Computer Science, general.; Data Structures, Cryptology and Information Theory.; IT in Business.; Programming Languages, Compilers, Interpreters.

Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of...