Sciweavers

16859 search results - page 325 / 3372
» Generative software development
Sort
View
SIGSOFT
2009
ACM
16 years 7 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
CASES
2007
ACM
15 years 10 months ago
Non-transparent debugging for software-pipelined loops
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
Hugo Venturini, Frédéric Riss, Jean-...
COMPSAC
2007
IEEE
16 years 1 months ago
A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
Jui-Nan Lin, Jiun-Long Huang
ECOOPW
1998
Springer
15 years 11 months ago
Exploiting Architecture in Experimental System Development
This position paper takes as outset experience obtained during development of an object-oriented prototype for a global customer service system. The project involved a large shipp...
Klaus Marius Hansen
CRIWG
2008
15 years 8 months ago
Integrating Collaborative Program Development and Debugging within a Virtual Environment
A collaborative integrated development environment enables developers to share programming-related tasks. This paper presents the design and implementation of a collaborative IDE n...
Hani Bani-Salameh, Clinton Jeffery, Ziad Al-Sharif...