An executable specification language for specification understanding in object-oriented specification reuse
نویسندگان
چکیده
منابع مشابه
An executable specification language for specification understanding in object-oriented specification reuse
System analysis time can be reduced through specification reuse which, however, requires specification understanding. This paper presents an object-oriented executable specification language which reduces understanding time through executing specifications. In addition to being executable, the specification language hides as many classes as possible within subsystems, and explicitly specifies r...
متن کاملParallel Object-Oriented Specification Language
The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems [10]. It was originally defined in [7] as an object-oriented extension of process algebra CCS [6], supporting (conditional) synchronous message passing between (hierarchically structured) asynchronous concurrent processes. Meanwhile, POOSL has been extended with real-tim...
متن کاملSPECTalk: an Object-Oriented Data Specification Language
This paper describes SPECTalk, an object-oriented language for specifying data. SPECTalk uses (hierarchical) object encapsulation, instantiation, inheritance and constraints to specify both the definitions of data formats and the representation of data instances. In addition, because SPECTalk is an executable specification language, specifications can be executed to check their validity. In add...
متن کاملEPSL: Executable Protocol Specification Language
Motivation. The verification of bus protocols, i.e., of communication protocols between hardware devices as in the case of the well-known PCI bus, is a central problem in hardware verification. Although bus protocol design and verification become increasingly important due to the integration of diverse components in IP Core-based designs, even standard bus protocols are usually specified in Eng...
متن کاملIntegrating Specification and Documentation in an Object-Oriented Language
class Shape protected attr x, y : integer; public abstract method boundingBox : Rectangle; public method area : integer return 0 public method move (dx, dy : integer) begin x : = x + dx; y := y + dy end initialization(x, y : integer) begin self.x := x; self.y := y end end class Rectangle inherit Shape protected attr w, h : integer; public method boundingBox : Rectangle return new Rectangle(x, y...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Software Technology
سال: 1996
ISSN: 0950-5849
DOI: 10.1016/0950-5849(95)01080-7