Sciweavers

13137 search results - page 228 / 2628
» A Science of Software Design
Sort
View
WICSA
2008
15 years 6 months ago
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
João Pedro Sousa, Bradley R. Schmerl, Vahe ...
179
Voted
JFP
2007
126views more  JFP 2007»
15 years 4 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
EUROMICRO
2009
IEEE
15 years 11 months ago
BPELscript: A Simplified Script Syntax for WS-BPEL 2.0
Marc Bischof, Oliver Kopp, Tammo van Lessen, Frank...
EUROMICRO
2007
IEEE
15 years 11 months ago
Applying a Model-based Approach for Embedded System Development
Christian Bunse, Hans-Gerhard Groß, Christia...
ACSC
2004
IEEE
15 years 8 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...