Formal methods for software architectures

In computer science, specifically software engineering and hardware engineering, formal. Marco bernardo is the author of formal methods for software architectures 4. Software architecture, formal specification, architecture. Formal methods in describing architectures citeseerx. Software architecture refers to the fundamental structures of a software system and the. Formal methods in testing software architectures springerlink. Formal methods for software architectures third international school on formal methods for the design of computer, communication and software systems. A formal approach to software architecture semantic scholar. Formal modeling of software architectures at multiple levels of. 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. The main purpose of this symposium is a contribution to the debate about the application, in the disciplines of architecture and. Formal methods for software architectures, third international school on formal methods for the design of computer, communication and.

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 software systems. Some of the available software architecture evaluation techniques include. Formal verification of software architecture tigerprints clemson. Sas provide a highlevel model of large, complex systems using suitable abstractions of the system components and their interactions. Sa dynamic descriptions can be usefully employed in testing and analysis. Third international school on formal methods for the design of computer, communication and software systems. Pdf formal methods in testing software architectures. As software systems become more complex, the overall system structureor software architecturebecomes a central design problem. Citeseerx document details isaac councill, lee giles, pradeep teregowda. These methods minimize specification errors and this result in fewer errors when the user begins using the system. Software architectures, sfm 2003, bertinoro, italy, september 2227, 2003, advanced lectures. Formal methods for software architectures third international.

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. The usage of formal methods in software dev elopment was initially advocated in the speci. The software engineer creates formal specifications for this model. Marco bernardo author of formal methods for software. We describe here an approach for sabased conformance testing. We do not intend to conduct new research or propose new solutions in the area of component specification, since this is a well understood area of formal methods. A formal approach to software architecture scs technical report. Formal methods for software architectures springerlink. Citeseerx formal methods in testing software architectures. 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.

450 1059 687 1404 1225 673 1084 1493 182 196 352 1135 519 1477 1125 1475 1261 1497 733 1065 562 650 1467 273 1067 533 855 1342 50 731