Sciweavers

4917 search results - page 67 / 984
» Software Engineering is Not Computer Science
Sort
View
110
Voted
ACSC
2004
IEEE
15 years 6 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...
107
Voted
QUATIC
2007
IEEE
15 years 8 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
69
Voted
COMPSAC
2007
IEEE
15 years 8 months ago
Adaptive Agent Model: an Agent Interaction and Computation Model
Liang Xiao 0002, David Robertson, Madalina Croitor...
ADAEUROPE
2006
Springer
15 years 8 months ago
Secure Execution of Computations in Untrusted Hosts
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Ri...