Sciweavers

2441 search results - page 45 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
87
Voted
MSE
2003
IEEE
104views Hardware» more  MSE 2003»
15 years 4 months ago
Internet-based Tool for System-on-Chip Integration
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
David Lim, Christopher E. Neely, Christopher K. Zu...
WSC
1998
15 years 5 days ago
Integrated Modeling and Analysis Generator Environment (IMAGE): A Decision Support Tool
A truly integrated modeling and analysis environment, which facilitates multi-use and multi-tool models, is necessary for today's enterprises to meet the challenges of the co...
Dursun Delen, Perakath C. Benjamin, Madhav Erragun...
114
Voted
ICST
2009
IEEE
14 years 8 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
AMOST
2007
ACM
15 years 2 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
EHCI
1998
15 years 5 days ago
Toward the Automatic Construction of Task Models from Object-Oriented Diagrams
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
Shijian Lu, Cécile Paris, Keith Vander Lind...