Sciweavers

7189 search results - page 277 / 1438
» Connecting Design with Code
Sort
View
AIEDAM
2004
96views more  AIEDAM 2004»
15 years 3 months ago
Learning while designing
: This paper reports on preliminary results of an explorative study of a protocol analysis of team learning while designing using in-situ data. Two measurement-based frameworks are...
Gourabmoy Nath, John S. Gero
JUCS
2010
163views more  JUCS 2010»
14 years 10 months ago
UML Support for Designing Software Product Lines: The Package Merge Mechanism
: Software product lines have become a successful but challenging approach to software reuse. Some of the problems that hinder the adoption of this development paradigm are the con...
Miguel A. Laguna, José M. Marqués
ECOOP
2012
Springer
13 years 6 months ago
Evaluating the Design of the R Language - Objects and Functions for Data Analysis
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
Floréal Morandat, Brandon Hill, Leo Osvald,...
118
Voted
EURODAC
1994
IEEE
105views VHDL» more  EURODAC 1994»
15 years 8 months ago
On Design Rule Correct Maze Routing
This paper addresses the problem of design rule correct routing, i.e. the avoidance of illegal wiring patterns during routing. These illegal wiring patterns are due to the set of ...
Ed P. Huijbregts, Jos T. J. van Eijndhoven, Jochen...
EMSOFT
2007
Springer
15 years 10 months ago
Proving the absence of run-time errors in safety-critical avionics code
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
Patrick Cousot