An executable specification language for specification understanding in object-oriented specification reuse

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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