Sciweavers

336 search results - page 1 / 68
» Formal architectural abstractions for interactive software
Sort
View
IJMMS
1998
68views more  IJMMS 1998»
13 years 3 months ago
Formal architectural abstractions for interactive software
Panos Markopoulos, Peter Johnson, Jon Rowson
ICFEM
2003
Springer
13 years 8 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
ICFEM
1998
Springer
13 years 7 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
13 years 7 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
ICSE
1994
IEEE-ACM
13 years 7 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan