Sciweavers

15783 search results - page 351 / 3157
» Evidence-Based Software Engineering
Sort
View
SEFM
2005
IEEE
16 years 11 days ago
Pragmatic Consistency Management in Industrial Requirements Specifications
Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Joh...
STEP
2005
IEEE
16 years 11 days ago
Open Challenges in Ubiquitous and Net-Centric Computing Middleware
Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, M...
FASE
2005
Springer
16 years 9 days ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...