62 search results - page 4 / 13 » Object Oriented Design and Implementation of an Inference En... |
COMPSAC
2008
IEEE
14 years 6 days ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
ACSC
2000
IEEE
13 years 9 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...
CSMR
2008
IEEE
13 years 7 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
AOIS
2003
13 years 7 months ago
2003
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report th...
GI
1997
Springer
13 years 10 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...