Sciweavers

5961 search results - page 180 / 1193
» Design Science and Software Engineering
Sort
View
CODES
2007
IEEE
14 years 4 months ago
ESL design and HW/SW co-verification of high-end software defined radio platforms
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
A. C. H. Ng, J. W. Weijers, Miguel Glassee, Thomas...
DBPL
1989
Springer
165views Database» more  DBPL 1989»
14 years 2 months ago
Support for Data-Intensive Applications: Conceptual Design and Software Development
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
Alexander Borgida, John Mylopoulos, Joachim W. Sch...
COMPSAC
2008
IEEE
14 years 4 months ago
Safety in Automotive Software: An Overview of Current Practices
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...
Paolo Panaroni, Giovanni Sartori, Fabrizio Fabbrin...
FASE
2010
Springer
14 years 1 months ago
An Automata-Theoretic Approach to Hardware/Software Co-verification
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, C...
ESEM
2009
ACM
13 years 8 months ago
Productivity trends in incremental and iterative software development
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
Thomas Tan, Qi Li, Barry W. Boehm, Ye Yang, Mei He...