3432 search results - page 233 / 687 » Model Development in the UML-based Specification Environment... |
213
click to vote
ATAL
2003
Springer
16 years 13 days ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
213
click to vote
DSRT
2005
IEEE
16 years 25 days ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
187
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
188
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
212
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...