Loading...
Please wait, while we are loading the content...
Similar Documents
The Larch/Smalltalk Interface Specification Language (1994)
| Content Provider | CiteSeerX |
|---|---|
| Author | Techniques, Specification Cheon, Yoonsik Leavens, Gary T. |
| Abstract | Object-oriented programming languages, such as Smalltalk, help one to build reusable program modules. The reuse of program modules requires adequate documentation --- formal or informal. Larch/Smalltalk is a formal specification language for specifying such reusable Smalltalk modules. Larch/Smalltalk firmly separates specification from implementation. In Larch/Smalltalk the unit of specification is an abstract data type, which is an abstraction of the behavior produced by one or more Smalltalk classes. A type can be a subtype of other types, which allows types to be organized based on specified behavior, and also allows for inheritance of their specifications. Larch/Smalltalk specifications are developed using specification tools integrated in the Smalltalk programming environment. 1 Introduction Object-oriented techniques encourage code reuse and modular design. In Smalltalk [GR83], code reuse is achieved by defining one class to be a subclass of another class, called its superclass... |
| File Format | |
| Volume Number | 3 |
| Journal | ACM Transactions on Software Engineering and Methodology |
| Language | English |
| Publisher Date | 1994-01-01 |
| Access Restriction | Open |
| Subject Keyword | Larch Smalltalk Interface Specification Language Larch Smalltalk Code Reuse Abstract Data Type Larch Smalltalk Specification Introduction Object-oriented Technique Specified Behavior Specification Tool Program Module Smalltalk Programming Environment Smalltalk Gr83 Reusable Program Module Smalltalk Class Formal Specification Language Modular Design Reusable Smalltalk Module Adequate Documentation Object-oriented Programming Language |
| Content Type | Text |
| Resource Type | Article |
