670 search results - page 82 / 134 » Software safety: relating software assurance and software in... |
178
click to vote
CSEE
1999
Springer
15 years 10 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
165
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
159
click to vote
TAPSOFT
1993
Springer
15 years 10 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
138
click to vote
ECIS
2001
15 years 7 months ago
2001
This paper presents a Web-based, database-oriented application called "Electronic Polling", a smart way to support voting on common subjects in which all people of a Loc...
159
click to vote
WSC
1996
15 years 7 months ago
1996
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...