1326 search results - page 13 / 266 » Semantic Coherence in Software Engineering |
LPAR
2005
Springer
15 years 3 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...
64
Voted
SIGSOFT
2010
ACM
14 years 7 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...
104
click to vote
WCRE
1995
IEEE
15 years 1 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
15 years 2 months 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
15 years 4 months ago
2009
Springer