1005 search results - page 108 / 201 » Formal Software Development in MAYA |
136
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
170
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
151
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
152
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
173
click to vote
FIW
2009
15 years 2 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...