Sciweavers

2016 search results - page 271 / 404
» Tool Support for Ontology Engineering
Sort
View
WCRE
2006
IEEE
16 years 10 days ago
Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
Marco Lormans, Hans-Gerhard Groß, Arie van D...
CODES
2005
IEEE
15 years 12 months ago
Automatic network generation for system-on-chip communication design
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
SEFM
2005
IEEE
15 years 12 months ago
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
Thomas Wilson, Savi Maharaj, Robert G. Clark
SWSTE
2005
IEEE
15 years 12 months ago
A Process-Complete Automatic Acceptance Testing Framework
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...
David Talby, Ori Nakar, Noam Shmueli, Eli Margolin...
IUI
2005
ACM
15 years 12 months ago
Generating semantic contexts from spoken conversation in meetings
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
Jürgen Ziegler, Zoulfa El Jerroudi, Karsten B...