Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems

Authors:
Marco Bernardo;Paolo Ciancarini;Lorenzo Donatiello
Affiliations:
-;-;-
Venue:
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Year:
2001

Citing 0
Cited 9

Combining stochastic process algebras and queueing networks for software architecture analysis

WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Architecting families of software systems with process algebras

ACM Transactions on Software Engineering and Methodology (TOSEM)
The SALADIN project: summary report

ACM SIGSOFT Software Engineering Notes
Coordination in a Reflective Architecture Description Language

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Exogenous and Endogenous Extensions of Architectural Types

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Architectural Types Revisited: Extensible And/Or Connections

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
π-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures

ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

"Software engineering has produced no effective methods to eradicate latent software faults." This sentence is, of course, a stereotype, but it is as true as a stereotype can get. And yet, it begs some questions. If it is not possible to construct a ...