Sciweavers

782 search results - page 102 / 157
» Performance Engineering Case Study: Heap Construction
Sort
View
ICFEM
2004
Springer
14 years 1 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ACMDIS
2000
ACM
14 years 22 hour ago
Lingua Francas for Design: Sacred Places and Pattern Languages
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
Thomas Erickson
SIES
2010
IEEE
13 years 5 months ago
Verification of a CAN bus model in SystemC with functional coverage
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
Christoph Kuznik, Gilles B. Defo, Wolfgang Mü...
ISSRE
2005
IEEE
14 years 1 months ago
Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite Metrics
A classic question in software development is “H ow much testing is enough?” Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guid...
Nachiappan Nagappan, Laurie A. Williams, Jason Osb...
PROFES
2004
Springer
14 years 1 months ago
Requirements Prioritization Challenges in Practice
Requirements prioritization is recognized as an important activity in product development. In this paper, we describe the current state of requirements prioritization practices in ...
Laura Lehtola, Marjo Kauppinen, Sari Kujala