Sciweavers

3801 search results - page 98 / 761
» An Approach to Modeling Software Safety
Sort
View
151
Voted
FSTTCS
2000
Springer
15 years 7 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
BDIM
2008
IEEE
185views Business» more  BDIM 2008»
15 years 10 months ago
Addressing the impact of business process changes on software user interfaces
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...
Kênia Soares Sousa, Hildeberto Mendonç...
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 7 months ago
Using Feature Modeling for Program Comprehension and Software Architecture Recovery
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
Ilian Pashov, Matthias Riebisch
122
Voted
IWSEC
2009
Springer
15 years 10 months ago
Tamper-Tolerant Software: Modeling and Implementation
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
Mariusz H. Jakubowski, Chit Wei Saw, Ramarathnam V...
SPLC
2007
15 years 5 months ago
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
Markus Völter, Iris Groher