Sciweavers

4917 search results - page 5 / 984
» Software Engineering is Not Computer Science
Sort
View
84
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
108
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Verification and Refutation of Probabilistic Specifications via Games
Mark Kattenbelt, Michael Huth
99
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Deductive Verification of Continuous Dynamical Systems
Ankur Taly, Ashish Tiwari
CSEE
2001
Springer
15 years 8 months ago
Incorporating PSP into a Traditional Software Engineering Course: An Experience Report
This paper presents an approach to incorporate PSP into a traditional Software Engineering course that is typically contained within a Computer Science curriculum. Advantages and ...
Jonathan I. Maletic, Anita Howald, Andrian Marcus
151
Voted
CSEE
2000
Springer
15 years 8 months ago
A Case Study Approach to Teaching Component Based Software Engineering
The field of component-based software engineering (CBSE) is currently in a period of rapid growth and change. No longer is the field dominated by discussions of traditional kinds ...
Allen S. Parrish, Brandon Dixon, David P. Hale, Jo...