Sciweavers

224 search results - page 2 / 45
» Natural Language Multiprocessing: A Case Study
Sort
View
85
Voted
ICRE
2000
IEEE
15 years 4 months ago
Lightweight Validation of Natural Language Requirements: A Case Study
Vincenzo Gervasi, Bashar Nuseibeh
UML
1999
Springer
15 years 3 months ago
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study
Thomas Firley, Michaela Huhn, Karsten Diethers, Th...
71
Voted
FM
2009
Springer
115views Formal Methods» more  FM 2009»
15 years 6 months ago
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
André Platzer, Edmund M. Clarke
ICSE
1998
IEEE-ACM
15 years 3 months ago
The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize
Joining a software development team is like moving to a new country to start employment; the immigrant has a lot to learn about the job, the local customs, and sometimes a new lan...
Susan Elliott Sim, Richard C. Holt