Sciweavers

118

click to vote

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

15 years 7 months ago

Download research.microsoft.com

Karthikeyan Bhargavan, Cédric Fournet, Andr...

claim paper

Read More »

117

click to vote

CSFW
2006
IEEE

146views Security Privacy» more CSFW 2006»

Types and Effects for Secure Service Orchestration

15 years 7 months ago

Download www.di.unipi.it

A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...

claim paper

Read More »

103

click to vote

CSEE
2006
Springer

88views Software Engineering» more CSEE 2006»

Let's Teach Architecting High Quality Software

15 years 7 months ago

Download www.sei.cmu.edu

Linda M. Northrop

claim paper

Read More »

126

click to vote

CSEE
2006
Springer

106views Software Engineering» more CSEE 2006»

Making Every Student a Winner: The WinWin Approach in Software Engineering Education

15 years 7 months ago

Download embedded.korea.ac.kr

This paper shows how Theory-W and the WinWin requirements negotiation approach are used in software engineering education at several universities in the US, Europe, and Asia. We b...

Paul Grünbacher, Norbert Seyff, Robert O. Bri...

claim paper

Read More »

114

click to vote

CSEE
2006
Springer

104views Software Engineering» more CSEE 2006»

Rising to the Challenge: Using Business-Oriented Case Studies in Software Engineering Education

15 years 7 months ago