Sciweavers

4917 search results - page 5 / 984
» Software Engineering is Not Computer Science
Sort
View
114
Voted
FSTTCS
2009
Springer
16 years 27 days ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
136
Voted
FSTTCS
2009
Springer
16 years 27 days ago
Verification and Refutation of Probabilistic Specifications via Games
Mark Kattenbelt, Michael Huth
126
Voted
FSTTCS
2009
Springer
16 years 27 days ago
Deductive Verification of Continuous Dynamical Systems
Ankur Taly, Ashish Tiwari
CSEE
2001
Springer
15 years 11 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
CSEE
2000
Springer
15 years 10 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...