×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [prepost conditions]
5050 dev nation
1.096 views
Acceptance and Unit Testing (introduction) Alessandro Marchetto Fondazione Bruno Kessler - IRST
216 views
October 18, 2003 Behavioral Signatures and E-Service Composition 1 E-Service Composition and Behavioral Signatures > Rick Hull Bell Labs Research October
215 views
CROSSmeeting UM, Fev. 2010 1 T5: Slicing Techniques Applied to OSS Pedro Rangel Henriques Daniela da Cruz Dep. de Informática/CCTC, Universidade do Minho,
213 views
Synchronization. Synchronization Motivation Thread 1 p = someFn(); isInitialized = true; Thread 2 while (! isInitialized ) ; q = aFn(p); if q != aFn(someFn())
221 views
Withdrawal Transaction Use Case Primary Actor: Customer Pre-conditions: The customer must have a valid ATM card and PIN. Post-conditions: The customer
215 views
Presentation Of Mbt Tools
1.907 views
Understanding Constraint Expressions in Large Conceptual Schemas by Automatic Filtering
152 views
Arts BPM
12 views
1 Concurrency Specification. 2 Outline 4 Issues in concurrent systems 4 Programming language support for concurrency 4 Concurrency analysis - A specification
225 views
Verifying Correct Usage of Atomic Blocks and Typestate Nels E. Beckman Nels E. Beckman, Kevin Bierhoff, and Jonathan Aldrich Carnegie Mellon University
217 views
Page 1 Runtime Verification and Software Fault Protection with Eagle Allen Goldberg Klaus Havelund Kestrel Technology Palo Alto, USA
219 views
Next >