Sciweavers

747 search results - page 54 / 150
» Toward a software development methodology for anonymity appl...
Sort
View
ICSE
2008
IEEE-ACM
14 years 9 months ago
Clone detection in automotive model-based development
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
Benjamin Hummel, Bernhard Schätz, Elmar J&uum...
HASKELL
2006
ACM
14 years 2 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
ICWS
2009
IEEE
14 years 5 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 3 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
CHI
2009
ACM
14 years 9 months ago
Metamouse: multiple mice for legacy applications
Single Display Groupware (SDG) solutions have been used to create software for disadvantaged children, particularly in the developing world. SDG allows for greater utilization of ...
Kurtis Heimerl, Divya Ramachandran, Joyojeet Pal, ...