Sciweavers

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