Sciweavers

5228 search results - page 627 / 1046
» Case Studies for Software Engineers
Sort
View
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
16 years 1 months ago
Demystifying magic: high-level low-level programming
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
Daniel Frampton, Stephen M. Blackburn, Perry Cheng...
OOPSLA
2007
Springer
16 years 1 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
FUIN
2006
128views more  FUIN 2006»
15 years 7 months ago
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Anatoly E. Doroshenko, Ruslan Shevchenko
SIGMOD
2009
ACM
121views Database» more  SIGMOD 2009»
16 years 7 months ago
Query-aware shrinking test databases
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
Claudio de la Riva, Javier Tuya, María Jos&...
PROFES
2005
Springer
16 years 16 days ago
Comprehensive Documentation Made Agile - Experiments with RaPiD7 in Philips
This paper addresses the almost never-ending headache the role of documentation has given for software projects. Working software has been given recently a focus over comprehensive...
Ko Dooms, Roope Kylmäkoski