Formal methods for software architectures

Software architectures, sfm 2003, bertinoro, italy, september 2227, 2003. Sas provide a highlevel model of large, complex systems using suitable abstractions of the system components and their interactions. Formal methods for software architectures springerlink. A formal approach to software architecture scs technical report. Pdf formal methods in testing software architectures. We describe here an approach for sabased conformance testing. A formal approach to software architecture semantic scholar. Citeseerx document details isaac councill, lee giles, pradeep teregowda. The formal methods used during the development process provide a mechanism for eliminating problems, which are difficult to overcome using other software process models. Software architectures, sfm 2003, bertinoro, italy, september 2227, 2003, advanced lectures.

Citeseerx formal methods in testing software architectures. Software architecture refers to the fundamental structures of a software system and the. Sa dynamic descriptions can be usefully employed in testing and analysis. Software architecture description involves the principles and practices of modeling and representing architectures, using mechanisms such as. Formal methods for software architectures, third international school on formal methods for the design of computer, communication and. The usage of formal methods in software dev elopment was initially advocated in the speci. Formal methods for software architectures, third international school on formal methods for the design of computer, communication and software systems. In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically rigorous techniques for the specification, development and verification of software and hardware systems. Marco bernardo is the author of formal methods for software architectures 4. Formal methods for software architectures third international school on formal methods for the design of computer, communication and software systems. Marco bernardo author of formal methods for software. Formal methods in describing architectures citeseerx.

Formal modeling of software architectures at multiple levels of. Software architecture, formal specification, architecture. As software systems become more complex, the overall system structureor software architecturebecomes a central design problem. Formal methods for software architectures third international. Formal methods in testing software architectures springerlink. The main purpose of this symposium is a contribution to the debate about the application, in the disciplines of architecture and. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.