Results 171 to 180 of about 655 (188)
Some of the next articles are maybe not open access.
2012 IEEE 25th Conference on Software Engineering Education and Training, 2012
This Work in Progress report presents an educational software tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic that allows the specification of abstract data types in a clear and concise manner.
openaire +1 more source
This Work in Progress report presents an educational software tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic that allows the specification of abstract data types in a clear and concise manner.
openaire +1 more source
Procedural implementation of algebraic specifications of abstract data types
1987In recent years the concept of abstract data types (ADT) [I], which makes use of a specification of data by defining abstract (i. e~ not connected with a real represantation of data in a memory of a computer) properties of data used in a program, is actively developed.
openaire +1 more source
A graphical environment supporting the algebraic specification of abstract data types.
1990Abstract Data Types (ADTs) are a powerful conceptual and practical device for building high-quality software because of the way they can describe objects whilst hiding the details of how they are represented within a computer. In order to implement ADTs correctly, it is first necessary to precisely describe their properties and behaviour, typically ...
openaire +1 more source
Essential concepts of algebraic specification and program development
Formal Aspects of Computing, 1997Donald Sannella +2 more
exaly
An Algebraic Specification of HDLC Procedures and Its Verification
IEEE Transactions on Software Engineering, 1984Teruo Higashino, Kenichi Taniguchi
exaly
Formalization of algebraic specification in the development language Deva
Lecture Notes in Computer Science, 1995Florian Kammüller +2 more
exaly
Algebraic specification of the abstract data type "Continuum".
Bull. EATCS, 1985Manfred Broy, Andrzej Tarlecki
openaire
Foundations of Algebraic Specification and Formal Software Development
Monographs in Theoretical Computer Science, 2012Donald Sannella, Andrzej Tarlecki
exaly
Algebraic–coalgebraic specification in CoCasl
The Journal of Logic and Algebraic Programming, 2006Till Mossakowski +2 more
exaly