|
All content with label cases.
Related Labels:
xuml, sa/sd, model, verification, logic, temporal, lcs, use, design, system, requirements, rhapsody, uml
From Play-In Scenarios to Code - An Achievable Dream
(Members Journals)
Title "From PlayIn Scenarios to Code: An Achievable Dream" Authors David Harel Reference IEEE Press, 5360. Also, Proc. Fundamental Approaches to Software Engineering\ (FASE;invited paper), Lecture Notes in Computer Science, Vol. 1783 ...
Other labels:
use, requirements, lcs, temporal, logic, verification, system, design ...
|
|
|
