Sciweavers

7202 search results - page 266 / 1441
» Software System Engineering: A Tutorial
Sort
View
CSMR
2009
IEEE
16 years 1 months ago
EvoSpaces: Multi-dimensional Navigation Spaces for Software Evolution
EvoSpaces is a Swiss-wide research project sponsored by the Hasler foundation. It involves three partners: University of Zurich, University of Lugano and the University of Applied...
Michele Lanza, Harald Gall, Philippe Dugerdil
OOPSLA
2009
Springer
16 years 1 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
ICSM
2002
IEEE
15 years 11 months ago
Maintaining Software with a Security Perspective
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
Kanta Jiwnani, Marvin V. Zelkowitz
FASE
2000
Springer
15 years 10 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
ICSE
2009
IEEE-ACM
16 years 1 months ago
An environment for synchronous software development
Collaboration is essential for the development of complex software systems. When a team of developers is geographically distributed, collaboration aspects –such as awareness, co...
Lile Hattori, Michele Lanza