Sciweavers

15885 search results - page 321 / 3177
» The Modest Software Engineer
Sort
View
89
Voted
SEFM
2005
IEEE
15 years 10 months ago
Pragmatic Consistency Management in Industrial Requirements Specifications
Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Joh...
STEP
2005
IEEE
15 years 10 months ago
Open Challenges in Ubiquitous and Net-Centric Computing Middleware
Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, M...
107
Voted
FASE
2005
Springer
15 years 10 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...