1326 search results - page 18 / 266 » Semantic Coherence in Software Engineering |
DLOG
2004
13 years 9 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
WCRE
2005
IEEE
14 years 1 months ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...
VMCAI
2012
Springer
12 years 3 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...
ASWC
2009
Springer
13 years 5 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...