803 search results - page 127 / 161 » Building Formal Models for Software Requirements |
124
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
142
click to vote
SEDE
2010
14 years 11 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
114
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
115
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...
135
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...