Sciweavers

4917 search results - page 67 / 984
» Software Engineering is Not Computer Science
Sort
View
ACSC
2004
IEEE
14 years 1 months ago
Java Implementation Verification Using Reverse Engineering
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
David J. A. Cooper, Benjamin Khoo, Brian R. von Ko...
QUATIC
2007
IEEE
14 years 4 months ago
Modeling the Experimental Software Engineering Process
– Systematic reviews on software engineering literature have shown an insufficient experimental validation of claims, when compared to the standard practice in other wellestablis...
Miguel Goulão, Fernando Brito e Abreu
COMPSAC
2007
IEEE
14 years 4 months ago
Adaptive Agent Model: an Agent Interaction and Computation Model
Liang Xiao 0002, David Robertson, Madalina Croitor...
ADAEUROPE
2006
Springer
14 years 4 months ago
Secure Execution of Computations in Untrusted Hosts
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Ri...