1888 search results - page 87 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
121
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
124
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
118
Voted
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
137
click to vote
JSW
2007
15 years 3 months ago
2007
—This paper presents some results in the intersection of three technological fields: e-learning, multiagent systems, and standards to improve the development of secure systems. T...
122
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Web Services are becoming more and more fundamental building blocks of Web-based distributed applications and a core technology for Grid systems. Due to their flexibility, Web Ser...