10072 search results - page 34 / 2015 » Composition of Model Programs |
138
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
116
click to vote
LMO
1996
15 years 3 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
81
Voted
PAPM
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
138
click to vote
MKWI
2008
15 years 3 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
119
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...