Sciweavers

7580 search results - page 69 / 1516
» Prometheus design tool
Sort
View
144
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
Thoughts on automated software design and synthesis
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
Don S. Batory
206
Voted
ECCE
2011
14 years 3 months ago
Design of a safe computer-supported cooperative environment in radiotherapy: exploratory identification of cooperation strategie
Motivation – This research deals with the identification of collective production of a safe radiotherapy treatment and its potential assistance through computer-supported enviro...
Maria Isabel Munoz, Vanina Mollo, Flore Barcellini...
SIGSOFT
2010
ACM
15 years 1 months ago
Software engineering issues for mobile application development
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...
Anthony I. Wasserman
116
Voted
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
15 years 9 months ago
jETI: A Tool for Remote Tool Integration
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
Tiziana Margaria, Ralf Nagel, Bernhard Steffen