Sciweavers

224 search results - page 2 / 45

» Natural Language Multiprocessing: A Case Study

18

ICRE
2000
IEEE

172views Software Engineering» more ICRE 2000»

Lightweight Validation of Natural Language Requirements: A Case Study

13 years 9 months ago

Lightweight Validation of Natural Language Requirements: A Case Study

Download www.doc.ic.ac.uk

Vincenzo Gervasi, Bashar Nuseibeh

claim paper

Read More »

9

UML
1999
Springer

127views Natural Language Processing» more UML 1999»

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study

13 years 9 months ago

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study

Download www.csm.ornl.gov

Thomas Firley, Michaela Huhn, Karsten Diethers, Th...

claim paper

Read More »

8

FM
2009
Springer

115views Formal Methods» more FM 2009»

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

13 years 11 months ago

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

Download symbolaris.com

André Platzer, Edmund M. Clarke

claim paper

Read More »

16

ICSE
1998
IEEE-ACM

146views Software Engineering» more ICSE 1998»

The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize

13 years 9 months ago

The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize

Download www.ics.uci.edu

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

claim paper

Read More »

12

FM
2009
Springer

104views Formal Methods» more FM 2009»

Sums and Lovers: Case Studies in Security, Compositionality and Refinement

13 years 11 months ago

Sums and Lovers: Case Studies in Security, Compositionality and Refinement

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

« Prev « First page 2 / 45 Last » Next »