5252 search results - page 708 / 1051 » Requirements engineering: a roadmap |
235
Voted
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
222
Voted
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 ...
205
Voted
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...
182
Voted
WWW
2007
ACM
16 years 8 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
207
Voted
WWW
2005
ACM
16 years 8 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...