Sciweavers

678 search results - page 90 / 136
» Extended Traits for Model Driven Software Development
Sort
View
127
Voted
UML
2001
Springer
15 years 5 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
COMPSAC
2007
IEEE
15 years 4 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
ESAW
2009
Springer
15 years 7 months ago
Balancing Organizational Regulation and Agent Autonomy: An MDE-Based Approach
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
Loris Penserini, Virginia Dignum, Athanasios Staik...
AGTIVE
2007
Springer
15 years 4 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...
81
Voted
IUI
2004
ACM
15 years 6 months ago
Object-action association: a HCI design model
While developing the Simple Gesturing User Interface (SGUI) API for incorporating simple gestures into personal digital assistant (PDA) user interfaces, we developed an object-bas...
Robert Pastel, Nathan Skalsky