274 search results - page 23 / 55 » The Maude Formal Tool Environment |
LREC
2008
13 years 11 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
ERCIMDL
2005
Springer
14 years 3 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
AGTIVE
1999
Springer
14 years 2 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
ENTCS
2006
13 years 9 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
ACSC
2000
IEEE
14 years 1 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...