FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
At University of Southern California (USC), CSCI577ab is a graduate software engineering course that teaches best software engineering practices and allows students to apply the l...
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...