650 search results - page 88 / 130 » Modeling SPARK systems with UML |
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
108
click to vote
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
106
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
115
click to vote
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...
125
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...