1432 search results - page 216 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
148
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
129
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
As web service technology matures there is growing interest in exploiting workflow techniques to coordinate web services. Bioinformaticians are a user community who combine web re...
134
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
147
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
122
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...