2700 search results - page 71 / 540 » The role of abstraction in software engineering |
143
click to vote
WCRE
2000
IEEE
15 years 9 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
198
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
173
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
166
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
128
click to vote
SCHULE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract: Am b.i.b. Dresden werden Berufsfachschüler im Software-EngineeringProjekt mit möglichst realen Projektsituationen bei der Entwicklung objektorientierter Software konfro...