A formal approach to object-oriented software engineering
نویسندگان
چکیده
منابع مشابه
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson’s “Object-Oriented Software Engineering” (OOSE) process is combined with object-oriented algebraic specifications by extending object and interaction diagrams with formal annotations. The specifications are based on Meseguer’s rewriting logic and are writt...
متن کاملObject-Oriented Software Engineering
classes Following object-oriented principles, a class that cannot be instantiated is said to be abstract. Abstract classes are often used for grouping together the common elements of a set of specialized classes. Example: Payment Cash Payment Credit Card Payment Check Payment amount: int The name in italics indicates an abstract class.
متن کاملObject-Oriented Software Engineering
The QAOOSE 2007 workshop brought together, for half day, researchers working on several aspects related to quantitative evaluation of software artifacts developed with the object-oriented paradigm and related technologies. Ideas and experiences were shared and discussed. This report includes a summary of the technical presentations and subsequent discussions raised by them. Exceptionally this y...
متن کاملObject-Oriented Software Engineering - a Use Case Driven Approach
object-oriented software engineering: a use case driven object oriented software engineering a use case driven object-oriented software engineering a use case driven a use-case driven approach to formal service-oriented ccis 17 a use-case driven approach to formal service object oriented software engineering ivar jacobson pdf process-oriented requirement analysis supporting the data a use case ...
متن کاملAn Object-oriented Approach to Formal Specification
Formal methods for software development are becoming increasingly necessary as softwarebecomes an important part of everyday life. To handle the complexities inherent in large-scale software systems these methods need to be combined with a sound developmentmethodology which supports modularity and reusability. Object orientation, based on theconcept that systems are composed of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00367-x