9006 search results - page 162 / 1802 » Modeling Software |
109
Voted
WSC
1998
15 years 6 months ago
1998
Panelists represent vendors of simulation software. Six of the panelists present their position on the question, "Where do you see simulation software headed?" The panel...
130
click to vote
ISPW
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
140
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
190
click to vote
AOSD
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we introduce a novel aspect oriented implementation language, called JAsCo. JAsCo is tailored for component based development and the Java Beans component model in p...
144
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...