1326 search results - page 34 / 266 » Semantic Coherence in Software Engineering |
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
SCAM
2003
IEEE
14 years 28 days ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
SCAM
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
IFIP12
2009
13 years 5 months ago
2009
: Component-based software development has matured into standard practice in software engineering. Among the advantages of reusing software modules are lower costs, faster developm...