researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: IEEE Trans. Software Eng.
Home
Index
Info
Issue
Volume
26
, Issue
1
1
--
14
Chris Sauer
,
D. Ross Jeffery
,
Lesley Pek Wee Land
,
Philip Yetton
.
The Effectiveness of Software Development Technical Reviews: A Behaviorally Motivated Program of Research
15
--
35
Nancy G. Leveson
.
Intent Specifications: An Approach to Building Human-Centered Specifications
36
--
54
Andrea Bobbio
,
Antonio Puliafito
,
Miklós Telek
.
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
55
--
69
Sergio Antoy
,
Richard G. Hamlet
.
Automatically Checking an Implementation against Its Formal Specification
70
--
93
Nenad Medvidovic
,
Richard N. Taylor
.
A Classification and Comparison Framework for Software Architecture Description Languages