612 search results - page 22 / 123 » Division for Foundation of Software |
106
click to vote
ECEASST
2008
15 years 1 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
119
click to vote
ENTCS
2008
15 years 1 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
David L. Parnas is one of the grandmasters of software engineering. His academic research and industrial collaborations have exerted far-reaching influence on software design and ...
110
click to vote
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
We discuss the technical skills that a software engineer should possess. We take the viewpoint of a school of engineering and put the software engineer's education in the wid...
121
Voted
CSEE
2009
Springer
15 years 8 months ago
2009
Springer
IT SPIRAL is a collaborative project by nine universities and four industries to develop a common curriculum for teaching software engineering. It combines existing foundation edu...