Sciweavers

1274 search results - page 85 / 255
» Educating reflective systems developers
Sort
View
122
Voted
ITICSE
2003
ACM
15 years 9 months ago
A media computation course for non-majors
Computing may well become considered an essential part of a liberal education, but introductory programming courses will not look like the way that they do today. Current CS1 cour...
Mark Guzdial
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 3 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
CORR
2006
Springer
100views Education» more  CORR 2006»
15 years 3 months ago
Using groups for investigating rewrite systems
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
Patrick Dehornoy
187
Voted
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 2 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 3 months ago
Knowledge-Based Innovation Systems and the Model of a Triple Helix of University-Industry-Government Relations
The (neo-)evolutionary model of a Triple Helix of University-Industry-Government Relations focuses on the overlay of expectations, communications, and interactions that potentiall...
Loet Leydesdorff