A Software Development Model for the Automatic Generation of Classes
| Autor: | Nancy Zambrano, Eugenio Scalise |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Theoretical computer science
automatic construction of programs Computer science Programming language B-Method Algebraic specification General Medicine Specification language formal specifications computer.software_genre Formal methods Data type lcsh:QA75.5-76.95 Language Of Temporal Ordering Specification software development model based on transformations data type Formal specification Programming language specification Computer Science::Programming Languages lcsh:Electronic computers. Computer science class specifications computer algebraic specifications |
| Zdroj: | CLEI Electronic Journal, Vol 4, Iss 2 (2018) |
| ISSN: | 0717-5000 |
| Popis: | In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications. The set of transformations that conforms the software development model are a systematic steps, which starts from the algebraic specification of a type. This algebraic specification describes the abstract behavior of a type (type of interest) by means of other type, previously specified and implemented (representation type). In a progressive way, the transformations steps allow get a program (class) nearby to the initial specification (type of interest). These transformations obtain -in the first step- an intermediate specification (class specification) that it describes the operations of the type of interest by means of pre and post-conditions. Then, the intermediate specification is used to obtain imperative code in language-independent notation (pseudo-class); and finally the pseudo-class is transformed to any object- oriented programming language for which it has been defined transformations. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|