726 search results - page 117 / 146 » Formal Requirements Engineering: Learning from the Students |
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
104
click to vote
IWPC
1998
IEEE
15 years 3 months ago
1998
IEEE
Rapid system understanding is required in the planning, feasibility assessment and cost estimating phases of a system renovation project. In this paper, we apply a number of analy...
DKE
2007
14 years 11 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
WWW
2007
ACM
16 years 14 days ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
102
click to vote
SEW
2007
IEEE
15 years 6 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...