Sciweavers

747 search results - page 54 / 150
» Toward a software development methodology for anonymity appl...
Sort
View
ICSE
2008
IEEE-ACM
16 years 6 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...
159
Voted
HASKELL
2006
ACM
15 years 12 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
16 years 3 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»
16 years 17 days 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ö...
136
Voted
CHI
2009
ACM
16 years 6 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, ...