Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Abstract
This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting places to bring together researchers and practitioners working on language-based solutions to contract-oriented software development. High-level models of contracts are needed as a tool to negotiate contracts and provide services conforming to them. This Workshop provides language-based solutions to the above issues through formalization of contracts, design of appropriate abstraction mechanisms, and formal analysis of contract languages and software. The program of this edition consists of 5 regular papers and 3 invited presentations. Detailed information about the FLACOS 2011 Workshop can be found at http://flacos2011.lcc.uma.es/. The 5th edition of the FLACOS Workshop was organized by the University of Málaga. It took place in Málaga, Spain, during September 22-23, 2011.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2011
- DOI:
- 10.48550/arXiv.1109.2399
- arXiv:
- arXiv:1109.2399
- Bibcode:
- 2011arXiv1109.2399P
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- EPTCS 68, 2011