Searching...
Advanced Search
Publication
2008
Issue No. 1 - January
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
IEEE Transactions on Software Engineering
January 2008 (vol. 34 no. 1)
ISSN: 0098-5589
Table of Contents
Editorial
State of the Journal Address
(HTML)
Jeff Kramer
pp. 1-2
ABSTRACT
PDF
HTML
Special Section on Software Engineering for Secure Systems
Guest Editors' Introduction: Special Section on Software Engineering for Secure Systems
(HTML)
Patrick McDaniel
Bashar Nuseibeh
, IEEE Computer Society
pp. 3-4
ABSTRACT
PDF
HTML
Analyzing Regulatory Rules for Privacy and Security Requirements
(Abstract)
Travis Breaux
Annie Antón
pp. 5-20
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Privately Finding Specifications
(Abstract)
Westley Weimer
Nina Mishra
pp. 21-32
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Semantics-Based Design for Secure Web Services
(Abstract)
Massimo Bartoletti
Pierpaolo Degano
Gian-Luigi Ferrari
Roberto Zunino
pp. 33-49
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies
(Abstract)
Lieven Desmet
Pierre Verbaeten
Wouter Joosen
Frank Piessens
pp. 50-64
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation
(Abstract)
William Halfond
Alex Orso
Pete Manolios
pp. 65-81
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Applying Formal Methods to a Certifiably Secure Software System
(Abstract)
Constance Heitmeyer
Myla Archer
Elizabeth Leonard
John McLean
pp. 82-98
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Papers
Call-Stack Coverage for GUI Test Suite Reduction
(Abstract)
Scott McMaster
Atif Memon
pp. 99-115
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Need for Mixed Media in Distributed Requirements Negotiations
(Abstract)
Daniela Damian
Filippo Lanubile
Teresa Mallardo
pp. 116-132
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Security Requirements Engineering: A Framework for Representation and Analysis
(Abstract)
Charles Haley
Robin Laney
Jonathan Moffett
Bashar Nuseibeh
pp. 133-153
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
2007 Reviewer's List
2007 Reviewer's List
(PDF)
pp. 154-156
ABSTRACT
PDF
Call for Papers
Call for Papers for Special Issue on Evaluation and Improvement of Software Dependability
(PDF)
pp. 157
ABSTRACT
PDF
Call for Papers for Special Issue on Software Language Engineering
(PDF)
pp. 158
ABSTRACT
PDF
Call for Papers for Special Issue on Search-Based Optimization For Software Engineering
(PDF)
pp. 159
ABSTRACT
PDF
2007 Annual Index
2007 Annual Index
(PDF)
pp. not in print
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
