15635 search results - page 372 / 3127 » Modelling and Design of VAML |
134
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
192
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
221
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
160
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
225
click to vote
ECMDAFA
2005
Springer
16 years 6 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...