Some of the architectural ramifications of extending the Eichmann/Atkins lattice-based classification scheme to encompass the assets of the full life-cycle of software development are explored. In particular, we wish to consider a model which provides explicit links between objects in addition to the edges connecting classification vertices in the standard lattice. The model we consider uses object-oriented terminology. Thus, the lattice is viewed as a data structure which contains class objects which exhibit inheritance. A description of the types of objects in the repository is presented, followed by a discussion of how they interrelate. We discuss features of the object-oriented model which support these objects and their links, and cons...
A brief example of the use of formal methods techniques in the specification of a software system is...
Presentation given at the Edinburgh Repository Fringe 2008 conferenceThe Object Reuse and Exchange i...
The paper exploits the fact that every information system generates a family of equivalence relation...
This topic is covered in three sections. The first section explores some of the architectural ramifi...
Domain analysis typically results in the construction of a domain-specific repository. Such a reposi...
The paper describes a portion of the work aimed at developing an integrated, knowledge based environ...
Interface slicing is a new tool which was developed to facilitate reuse-based software engineering, ...
Software reuse has become a major goal in the development of space systems, as a recent NASA-wide wo...
The Repository-based Software Engineering Program (RBSE) is described to inform and update senior NA...
Database Management; Artificial Intelligence (incl. Robotics); Information Systems and Communicati...
Research accomplished at the Knowledge Based Systems Laboratory of the Department of Industrial Engi...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
This paper introduces the Link system for exploring combinatorial objects. It provides graphical and...
We completely classify the relative expressibilities of the program schemes of NPS augmented with th...
A novel method to infer logical relationships between sets is presented. These sets can be any colle...
A brief example of the use of formal methods techniques in the specification of a software system is...
Presentation given at the Edinburgh Repository Fringe 2008 conferenceThe Object Reuse and Exchange i...
The paper exploits the fact that every information system generates a family of equivalence relation...
This topic is covered in three sections. The first section explores some of the architectural ramifi...
Domain analysis typically results in the construction of a domain-specific repository. Such a reposi...
The paper describes a portion of the work aimed at developing an integrated, knowledge based environ...
Interface slicing is a new tool which was developed to facilitate reuse-based software engineering, ...
Software reuse has become a major goal in the development of space systems, as a recent NASA-wide wo...
The Repository-based Software Engineering Program (RBSE) is described to inform and update senior NA...
Database Management; Artificial Intelligence (incl. Robotics); Information Systems and Communicati...
Research accomplished at the Knowledge Based Systems Laboratory of the Department of Industrial Engi...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
This paper introduces the Link system for exploring combinatorial objects. It provides graphical and...
We completely classify the relative expressibilities of the program schemes of NPS augmented with th...
A novel method to infer logical relationships between sets is presented. These sets can be any colle...
A brief example of the use of formal methods techniques in the specification of a software system is...
Presentation given at the Edinburgh Repository Fringe 2008 conferenceThe Object Reuse and Exchange i...
The paper exploits the fact that every information system generates a family of equivalence relation...