Sciweavers

5591 search results - page 116 / 1119
» Design patterns: between programming and software design
Sort
View
JUCS
2010
152views more  JUCS 2010»
14 years 11 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
121
Voted
VL
2005
IEEE
135views Visual Languages» more  VL 2005»
15 years 9 months ago
Designing Features for Both Genders in End-User Programming Environments
Previous research has revealed gender differences that impact females’ willingness to adopt software features in end users’ programming environments. Since these features have...
Laura Beckwith, Shraddha Sorte, Margaret M. Burnet...
DATE
2005
IEEE
113views Hardware» more  DATE 2005»
15 years 9 months ago
Hardware-Software Design of a Smart Sensor for Fully-Electronic DNA Hybridization Detection
This paper describes the design of a smart sensor for label-free detection of DNA hybridization. The sensor is based on a direct electrical transduction principle: it measures imp...
Claudio Stagni, Carlotta Guiducci, Massimo Lanzoni...
ISQED
2005
IEEE
128views Hardware» more  ISQED 2005»
15 years 9 months ago
Reliability-Centric Hardware/Software Co-Design
This paper proposes a reliability-centric hardware/ software co-design framework. This framework operates with a component library that provides multiple alternates for a given ta...
Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, ...
134
Voted
PROCOMET
1998
15 years 5 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino