409 search results - page 34 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
113
Voted
FASE
2000
Springer
15 years 5 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
127
Voted
IM
2007
15 years 3 months ago
2007
— Change management is one of the most critical processes in IT management. Some of the reasons are the sheer number of changes and the difficulty of evaluating the impact of cha...
113
Voted
ITP
2010
15 years 5 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
102
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
143
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...