Sciweavers

1326 search results - page 51 / 266
» Semantic Coherence in Software Engineering
Sort
View
FASE
2008
Springer
13 years 9 months ago
An Algebraic Semantics for MOF
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
Artur Boronat, José Meseguer
ISCA
2012
IEEE
232views Hardware» more  ISCA 2012»
11 years 10 months ago
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
Joseph Devietti, Benjamin P. Wood, Karin Strauss, ...
WWW
2006
ACM
14 years 8 months ago
SGSDesigner: a graphical interface for annotating and designing semantic grid services
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
Asunción Gómez-Pérez, Rafael ...
ASWEC
2008
IEEE
14 years 2 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
SIGSOFT
2005
ACM
14 years 8 months ago
Moose: an agile reengineering environment
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...
Oscar Nierstrasz, Stéphane Ducasse, Tudor G...