Sciweavers

37 search results - page 3 / 8
» The End of Software Engineering and the Start of Economic-Co...
Sort
View
FOSSACS
2009
Springer
14 years 2 months ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas
SIGDOC
2005
ACM
14 years 1 months ago
A study of the documentation essential to software maintenance
Software engineering has been striving for years to improve the practice of software development and maintenance. Documentation has long been prominent on the list of recommended ...
Sergio Cozzetti B. de Souza, Nicolas Anquetil, K&a...
CCE
2010
13 years 5 months ago
Green process design, green energy, and sustainability: A systems analysis perspective
This paper presents a systems analysis perspective that extends the traditional process design framework to green process design, green energy and industrial ecology leading to su...
Urmila M. Diwekar, Yogendra N. Shastri
FSEN
2009
Springer
14 years 2 months ago
The Complexity of Reachability in Randomized Sabotage Games
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
Dominik Klein, Frank G. Radmacher, Wolfgang Thomas
COMPSAC
2009
IEEE
14 years 2 months ago
A Contextual Guidance Approach to Software Security
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
Philipp Schügerl, David Walsh, Juergen Rillin...