2836 search results - page 178 / 568 » Model Checking for Software Architectures |
139
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
168
click to vote
AOIS
2003
15 years 5 months ago
2003
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
133
click to vote
DSVIS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
143
click to vote
ENTCS
2002
15 years 4 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
122
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...