Sciweavers

2902 search results - page 106 / 581
» Software Product Lines
Sort
View
CAISE
1997
Springer
15 years 8 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
CANDT
2009
15 years 8 months ago
Toward an analytic framework for understanding and fostering peer-support communities in using and evolving software products
The fundamental challenge for social computing is to contribute to fostering communities in which humans can transcend the limitation of the unaided, individual human mind by help...
Andrew Gorman, Gerhard Fischer
DIMVA
2009
15 years 5 months ago
On the Effectiveness of Software Diversity: A Systematic Study on Real-World Vulnerabilities
Abstract. Many systems have been introduced to detect software intrusions by comparing the outputs and behavior of diverse replicas when they are processing the same, potentially m...
Jin Han, Debin Gao, Robert H. Deng
ER
2007
Springer
117views Database» more  ER 2007»
15 years 10 months ago
An Abstract Interaction Model for a MDA Software Production Method
Francisco Valverde, José Ignacio Panach, Os...