4 search results - page 1 / 1 » Maude Object-Oriented Action Tool |
ENTCS
2008
15 years 5 months ago
2008
206
click to vote
AAIP
2009
15 years 6 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
176
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
131
Voted
KORSO
1995
15 years 8 months ago
1995
in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...