1326 search results - page 13 / 266 » Semantic Coherence in Software Engineering |
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
WCRE
1995
IEEE
13 years 11 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
FASE
2001
Springer
14 years 3 days ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer