Sciweavers

5433 search results - page 321 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
ICDIM
2007
IEEE
16 years 29 days ago
An expert system for the design of agents
The growing interest for the design and development of multi-agent systems has brought to the creation of a specific research area called Agent-Oriented Software Engineering (AOS...
Massimo Cossentino, Luca Sabatucci, Valeria Seidit...
FASE
2007
Springer
16 years 24 days ago
Flexible and Extensible Notations for Modeling Languages
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
OTM
2005
Springer
16 years 4 days ago
ORM 2
: Object-role Modeling (ORM) is a fact-oriented modeling approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity-Relationship modeling ...
Terry A. Halpin
PEPM
2004
ACM
15 years 12 months ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
UML
2004
Springer
15 years 12 months ago
Modeling Business Processes in Web Applications with ArgoUWE
Abstract. The CASE tool ArgoUWE supports the systematic design of Web applications using the UML-based Web Engineering (UWE) approach. The design methodology of UWE is based on a m...
Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Mar...