1809 search results - page 192 / 362 » A Formal Specification of dMARS |
143
click to vote
ICSE
1994
IEEE-ACM
15 years 9 months ago
1994
IEEE-ACM
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
143
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
138
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
130
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
153
click to vote
FORTE
2007
15 years 6 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...