Sciweavers

2114 search results - page 265 / 423
» Practical Approaches for Software Adaptation
Sort
View
APSEC
2005
IEEE
15 years 10 months ago
Ontology-based Active Requirements Engineering Framework
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
Seok Won Lee, Robin A. Gandhi
IWPC
2000
IEEE
15 years 9 months ago
Requirements for an Elucidative Programming Environment
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
Kurt Nørmark
ICFEM
2010
Springer
15 years 3 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
CHARME
2001
Springer
133views Hardware» more  CHARME 2001»
15 years 9 months ago
View from the Fringe of the Fringe
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
Steven D. Johnson
146
Voted
SCAM
2008
IEEE
15 years 11 months ago
Aspect-Aware Points-to Analysis
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
Qiang Sun, Jianjun Zhao