1328 search results - page 192 / 266 » Info Cases: Integrating Use Cases and Domain Models |
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
ISWC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a design framework for wearable electronic textiles. The focus is on the design and simulation issues that arise from the interaction of the electronic textile...
SNPD
2008
14 years 11 months ago
2008
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
100
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: Ontologies such as the Gene Ontology can enable the construction of complex queries over biological information in a conceptual way, however existing systems to do thi...
ISSRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...