pi-Method: a model-driven formal method for architecture-centric software engineering

@article{Oquendo2006piMethodAM,
  title={pi-Method: a model-driven formal method for architecture-centric software engineering},
  author={Fl{\'a}vio Oquendo},
  journal={ACM SIGSOFT Software Engineering Notes},
  year={2006},
  volume={31},
  pages={1-13}
}
Software systems have become increasingly complex and are often used in highly dynamic, distributed and mobile environments. Formal development of such software systems in order to guarantee their completeness and correctness is a large research challenge. This article presents the π-Method, a novel formal method that has been designed in the ArchWare European Project to address model-driven development of safe software systems. It is a well-founded theoretically method relying on formal… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 22 extracted citations

COSE: A composable ocean simulation environment

OCEANS 2017 - Aberdeen • 2017
View 1 Excerpt

On the equivalence between reference architectures and metamodels

2015 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA) • 2015
View 1 Excerpt

Towards a formal description of reference architectures for embedded systems

2015 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA) • 2015
View 2 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 14 references

MDA Guide Version 1.0.1

J. Miller, J. Mukerji
Document Number: OMG/2003-06-01, • 2003
View 11 Excerpts
Highly Influenced

Specification and Development of Interactive Systems

Monographs in Computer Science • 2001
View 7 Excerpts
Highly Influenced

Architecting families of software systems with process algebras

ACM Trans. Softw. Eng. Methodol. • 2002
View 2 Excerpts
Highly Influenced

AML: An Architecture Meta-Language

ASE • 1999
View 3 Excerpts
Highly Influenced

Modelling Systems: Practical Tools and Techniques for Software Development

J. Fitzgerald, P. Larsen
1998
View 3 Excerpts
Highly Influenced

Domain-Specific Software Architectures for Guidance, Navigation and Control

International Journal of Software Engineering and Knowledge Engineering • 1996
View 2 Excerpts
Highly Influenced

Toward user-defined element types and architectural styles

ISAW '96 • 1996
View 2 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…