2607 search results - page 304 / 522 » On the Architecture of System Verification Environments |
162
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
155
click to vote
LDTA
2010
15 years 6 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
197
click to vote
ENTCS
2010
15 years 4 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
105
Voted
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
We describe how a system employing different types of organizational techniques addresses the challenges posed by a large-scale distributed sensor network environment. The high-le...
168
click to vote
ASE
2006
15 years 6 months ago
2006
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...