Goran Mustapic, Anders Wall, C. Norström, I. Crnkovic, Kristian Sandström et al.
In: Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).
2004
M. Larsson, I. Crnkovic.
In: 26th International Conference on Information Technology Interfaces, 2004..
2004
Abstract:
Software systems and applications are increasingly constructed as assemblies of preexisting components. This makes software development cheaper and faster, and results in more favorable preconditions for achieving higher quality. This approach, however, introduces several problems, most of them originating from the fact that preexisting software components behave as black boxes. One problem is tha...
J. Bosch.
In: 25th International Conference on Software Engineering, 2003. Proceedings..
2004
A. Galis, S. Denazis, Celestin Brou, C. Klein.
In: .
2004
I. Crnkovic, H. Schmidt, J. Stafford, K. Wallnau.
In: .
2004
Thomas Nolte, Mikael Nolin, H. Hansson.
In: IFAC Proceedings Volumes.
2004
T. Thelin, P. Runeson, C. Wohlin, Thomas Olsson, Carina Andersson.
In: Empirical Software Engineering.
2004
Eelke Folmer, J. Bosch.
In: J. Syst. Softw..
2004
M. Jaring, R. Krikhaar, J. Bosch.
In: Software: Practice and Experience.
2004
M. Sirjani, A. Movaghar, A. Shali, Frank S. de Boer.
In: Fundamenta Informaticae.
2004
Abstract:
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their correctness. In this paper, we develop an actor-based model for describing such systems, use temporal logic to specify properties of the model, and appl...
J. Bosch, C. Krueger.
In: .
2004
Eelke Folmer, J. Bosch.
In: .
2004
R. Land, I. Crnkovic.
2004
I. Crnkovic, M. Larsson.
In: .
2004