Searching...
Advanced Search
Publication
2000
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/EndNote
IEEE Transactions on Software Engineering
January 2000 (vol. 26 no. 1)
ISSN: 0098-5589
Table of Contents
REGULAR PAPERS
The Effectiveness of Software Development Technical Reviews: A Behaviorally Motivated Program of Research
(Abstract)
Chris Sauer
D. Ross Jeffery
Lesley Land
Philip Yetton
pp. 1-14
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Intent Specifications: An Approach to Building Human-Centered Specifications
(Abstract)
Nancy G. Leveson
pp. 15-35
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
(Abstract)
Andrea Bobbio
Antonio Puliafito
Miklós Telek
pp. 36-54
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Automatically Checking an Implementation against Its Formal Specification
(Abstract)
Sergio Antoy
Dick Hamlet
pp. 55-69
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Classification and Comparison Framework for Software Architecture Description Languages
(Abstract)
Nenad Medvidovic
Richard N. Taylor
pp. 70-93
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
1999 Reviewers List
1999 Reviewers List
(Abstract)
pp. 94-95
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
