Sciweavers

2704 search results - page 250 / 541
» Constraint Management in Engineering of Complex Information ...
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 7 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
ISJ
2006
134views more  ISJ 2006»
15 years 6 months ago
Relative importance of evaluation criteria for enterprise systems: a conjoint study
Abstract. While a large body of research exists on the development and implementation of software, organizations are increasingly acquiring enterprise software packages [e.g. enter...
Mark Keil, Amrit Tiwana
ICSE
2003
IEEE-ACM
15 years 11 months ago
Tool Support for Scenario-Based Architecture Evaluation
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
Steffen Thiel, Andreas Hein, Heiner Engelhardt
PROFES
2001
Springer
15 years 11 months ago
Augmenting Experience Reports with Lightweight Postmortem Reviews
Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their...
Torgeir Dingsøyr, Nils Brede Moe, Øy...
IIIX
2006
ACM
16 years 16 days ago
Towards genre classification for IR in the workplace
Abstract. Use of document genre in information retrieval systems has the potential to improve the task-appropriateness of results. However, genre classification remains a challengi...
Luanne Freund, Charles L. A. Clarke, Elaine G. Tom...