1326 search results - page 155 / 266 » Semantic Coherence in Software Engineering |
134
click to vote
ICFEM
2009
Springer
15 years 24 days ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
178
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Provenance, or records of the origin, context, custody, derivation or other historical information about a (digital) object, has recently become an important research topic in a n...
103
click to vote
PEPM
2009
ACM
15 years 12 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
124
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
139
click to vote
ASWEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...