Sciweavers

13137 search results - page 174 / 2628
» A Science of Software Design
Sort
View
LCTRTS
1999
Springer
15 years 8 months ago
A Software Synthesis Tool for Distributed Embedded System Design
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
Dong-In Kang, Richard Gerber, Leana Golubchik, Jef...
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
15 years 8 months ago
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...
Pekka Forselius, Timo Käkölä
ICCD
2006
IEEE
138views Hardware» more  ICCD 2006»
16 years 1 months ago
Design and Implementation of Software Objects in Hardware
This paper proposes a novel approach to implement software object in hardware. Data-Memory mapping schemes are investigated and four hardware object design schemes are proposed an...
Fu-Chiung Cheng, Hung-Chi Wu
129
Voted
WCRE
1999
IEEE
15 years 8 months ago
A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...
Gerald C. Gannod, Betty H. C. Cheng
ISSTA
1996
ACM
15 years 8 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon