Results 181 to 188 of about 655 (188)
Some of the next articles are maybe not open access.
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
Abstract computability and algebraic specification
ACM Transactions on Computational Logic, 2002J V Tucker, J I Zucker
exaly
CSP-CASL—A new integration of process algebra and algebraic specification
Theoretical Computer Science, 2006Markus Roggenbach
exaly
On observational equivalence and algebraic specification
Lecture Notes in Computer Science, 2005Donald Sannella +2 more
exaly
A constructive method for abstract algebraic software specification
Theoretical Computer Science, 1984exaly
Algebraic specification grammars: A junction between module specifications and graph grammars
2005Hartmut Ehrig +2 more
exaly