9974 search results - page 445 / 1995 » Software Interconnection Models |
176
click to vote
SE
2007
15 years 8 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
189
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
159
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Rhizome is an end-to-end feature modeling and code generation platform that includes a feature modeling language (FeatureML), a template language (MarkerML) and a template-based c...
178
click to vote
WOSP
2004
ACM
16 years 7 days ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
242
click to vote
INFSOF
2000
15 years 6 months ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...