Sciweavers

5407 search results - page 646 / 1082
» The Software Engineering Global Model
Sort
View
CAISE
2010
Springer
15 years 2 months ago
Configuring the Variability of Business Process Models Using Non-Functional Requirements
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
Emanuel Santos, João Pimentel, Jaelson Cast...
ISSRE
2006
IEEE
16 years 1 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
FSEN
2007
Springer
16 years 1 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
227
Voted
ATAL
2005
Springer
16 years 1 months ago
Using the UML 2.0 activity diagram to model agent plans and actions
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
SERA
2005
Springer
16 years 1 months ago
A Comparative Evaluation of Query Modeling Cost of SQL/MDR
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
Dongwon Jeong, Hoh Peter In, Lee-Sub Lee