1326 search results - page 172 / 266 » Semantic Coherence in Software Engineering |
ISORC
2006
IEEE
15 years 4 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
109
click to vote
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...
69
Voted
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
66
Voted
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
FORTE
1996
14 years 11 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...