Sciweavers

620 search results - page 81 / 124
» Tool support for component-based semantics
Sort
View
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 3 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
LREC
2010
189views Education» more  LREC 2010»
14 years 10 months ago
NLGbAse: A Free Linguistic Resource for Natural Language Processing Systems
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
Eric Charton, Juan Manuel Torres Moreno
ENTER
2007
Springer
15 years 6 months ago
Annotating Accommodation Advertisements Using CERNO
There has been great interest in applying Semantic Web technologies to the tourism sector ever since Tim Berners-Lee introduced his vision. Unfortunately, there is a major obstacl...
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Jam...
ESWS
2007
Springer
15 years 6 months ago
Developing Ontologies for Collaborative Engineering in Mechatronics
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
Violeta Damjanovic, Wernher Behrendt, Manuela Pl&o...
ISSTA
1998
ACM
15 years 4 months ago
Computation of Interprocedural Control Dependence
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha