8 search results - page 2 / 2 » sigsoft 2002 |
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
100
Voted
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...