Sciweavers

3889 search results - page 206 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
SEE
2011
Springer
14 years 7 months ago
Dissolving the Engineering Moral Dilemmas Within the Islamic Ethico-Legal Praxes
The goal of responsible engineers is the creation of useful and safe technological products and commitment to public health, while respecting the autonomy of the clients and the pu...
Abdul Kabir Hussain Solihu, Abdul Rauf Ambali
COMPSAC
2007
IEEE
15 years 8 months ago
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
W. K. Chan, Jeffrey C. F. Ho, T. H. Tse
PEPM
2007
ACM
17 years 2 months ago
Concoqtion: Indexed types now!
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
Emir Pasalic, Jeremy G. Siek, Seth Fogarty, Walid ...
WWW
2005
ACM
16 years 4 months ago
WEESA: Web engineering for semantic Web applications
The success of the Semantic Web crucially depends on the existence of Web pages that provide machine-understandable meta-data. This meta-data is typically added in the semantic an...
Gerald Reif, Harald Gall, Mehdi Jazayeri
PPOPP
2011
ACM
14 years 7 months ago
OoOJava: software out-of-order execution
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
James Christopher Jenista, Yong Hun Eom, Brian Dem...