Sciweavers

2062 search results - page 96 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
IS
1998
13 years 8 months ago
Information Modeling in the Time of the Revolution
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
John Mylopoulos
EUROMICRO
2009
IEEE
14 years 28 days ago
Automated Feature Model-Based Generation of Refinement Transformations
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
Lucia Kapová, Thomas Goldschmidt
WSC
1997
13 years 10 months ago
A Sortation System Model
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
Arun Jayaraman, Ramu Narayanaswamy, Ali K. Gunal
APSEC
2009
IEEE
13 years 7 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
FASE
2008
Springer
13 years 10 months ago
Correctness-Preserving Configuration of Business Process Models
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
Wil M. P. van der Aalst, Marlon Dumas, Florian Got...