In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...
Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industr...
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...