A Scalable Approach to Multi-style Architectural Modeling and Verification

Authors:
Stephen Wong;Jing Sun;Ian Warren;Jun Sun
Affiliations:
-;-;-;-
Venue:
ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Year:
2008

Citing 0
Cited 2

Architectural style as an independent variable

Proceedings of the IEEE/ACM international conference on Automated software engineering
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications

Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ideal of verified software has long been the goal of research in Computer Science. This paper argues that the time is ripe to embark on a Grand Challenge project to construct a program verifier, based on a sound and complete theory of programming, ...