Computer Science – Logic in Computer Science
Scientific paper
2011-09-12
Computer Science
Logic in Computer Science
EPTCS 68, 2011
Scientific paper
10.4204/EPTCS.68
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\'alaga. It took place in M\'alaga, Spain, during September 22-23, 2011.
Pimentel Ernesto
Valero Valentín
No associations
LandOfFree
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-59636