Sciweavers

348 search results - page 29 / 70
» SERVIAM Maintenance Framework
Sort
View
ICSE
2010
IEEE-ACM
15 years 1 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...
IWPC
2009
IEEE
15 years 5 months ago
Enabling more precise dependency analysis in event-based systems
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
Daniel Popescu, Joshua Garcia, Nenad Medvidovic
DEON
2006
Springer
15 years 2 months ago
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
Jan Broersen
FASE
2006
Springer
15 years 2 months ago
Relation of Code Clones and Change Couplings
Abstract. Code clones have long been recognized as bad smells in software systems and are considered to cause maintenance problems during evolution. It is broadly assumed that the ...
Reto Geiger, Beat Fluri, Harald Gall, Martin Pinzg...
BIOSYSTEMS
2007
95views more  BIOSYSTEMS 2007»
14 years 11 months ago
Physical limits of computation and emergence of life
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
Abir U. Igamberdiev