Sciweavers

4917 search results - page 78 / 984
» Software Engineering is Not Computer Science
Sort
View
COMPUTER
2006
130views more  COMPUTER 2006»
13 years 10 months ago
The Unspoken Revolution in Software Engineering
ly, we should be glad they can join the fun. For some compaThe Unspoken Revolution in Software Engineering Bertrand Meyer, ETH Zurich Software professionals must adapt to the new r...
Bertrand Meyer
GI
2009
Springer
13 years 7 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
ICSE
2008
IEEE-ACM
14 years 10 months ago
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
Michele Lanza, Amy L. Murphy, Romain Robbes, Mirce...
EMSOFT
2011
Springer
12 years 9 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
FSTTCS
2006
Springer
14 years 1 months ago
Unbiased Rounding of Rational Matrices
Rounding a real-valued matrix to an integer one such that the rounding errors in all rows and columns are less than one is a classical problem. It has been applied to hypergraph co...
Benjamin Doerr, Christian Klein