16725 search results - page 2610 / 3345 » Engineering Software Correctness |
221
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
165
click to vote
SIGSOFT
2002
ACM
16 years 8 months 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 ...
205
click to vote
SIGSOFT
2001
ACM
16 years 8 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...
243
click to vote
SIGSOFT
2001
ACM
16 years 8 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
178
click to vote
WWW
2001
ACM
16 years 8 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...