Results 271 to 280 of about 86,663 (296)
Some of the next articles are maybe not open access.
Essential concepts of algebraic specification and program development
Formal Aspects of Computing, 1997Donald T Sannella, Andrzej Tarlecki
exaly
Algebraic Specification for Input-Output in Abstract Data Types
Mathematics and Computer Science, 2021exaly
Foundations of Algebraic Specification and Formal Software Development
Monographs in Theoretical Computer Science, 2012Donald T Sannella, Andrzej Tarlecki
exaly
Algebraic–coalgebraic specification in CoCasl
The Journal of Logic and Algebraic Programming, 2006Till Mossakowski +2 more
exaly
Quasi-boolean encodings and conditionals in algebraic specification
The Journal of Logic and Algebraic Programming, 2010Răzvan Diaconescu
exaly
Generating test case for algebraic specification based on Tabu search and genetic algorithm
Cluster Computing, 2016exaly
An Algebraic Specification of HDLC Procedures and Its Verification
IEEE Transactions on Software Engineering, 1984exaly