1288 search results - page 5 / 258 » Integrating formal models into the programming languages cou... |
FM
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
CONSTRAINTS
2011
13 years 2 months ago
2011
KBSE
2000
IEEE
14 years 1 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
NGC
1998
Springer
13 years 7 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer