3481 search results - page 117 / 697 » Architecture as Object Models of Software |
142
click to vote
QOSA
2007
Springer
15 years 11 months ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
159
click to vote
IFIP
1993
Springer
15 years 9 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
164
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
158
click to vote
VEE
2010
ACM
16 years 9 hour ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
145
click to vote
WSC
1998
15 years 6 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...