|
Content with label use in Members Journals (See content from all spaces)
Related Labels:
xuml, sa/sd, model, verification, logic, temporal, lcs, cases, design, system, requirements, rhapsody, uml
From Play-In Scenarios to Code - An Achievable Dream
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:
cases, requirements, lcs, temporal, logic, verification, system, design ...
|
|
|
