Journal: Automated Software Engineering

Volume 15, Issue 3-4

257 -- 259Bashar Nuseibeh. A final editorial
261 -- 273Leon J. Osterweil. What is software?
275 -- 281Michael Jackson. Automated software engineering: supporting understanding
283 -- 297Gerard J. Holzmann, Rajeev Joshi, Alex Groce. Model driven code checking
299 -- 312John R. D. Hughes, Cliff B. Jones. Reasoning about programs via operational semantics: requirements for a support system
313 -- 341Elisabetta Di Nitto, Carlo Ghezzi, Andreas Metzger, Mike P. Papazoglou, Klaus Pohl. A journey to highly dynamic, self-adaptive service-based applications
343 -- 363Alistair G. Sutcliffe. The socio-economics of software architecture
365 -- 377Gerhard Fischer. Rethinking software design in participation cultures
379 -- 391Bran Selic. Personal reflections on automation, programming culture, and model-based software engineering
393 -- 402Mike Hinchey. Desert Island Column

Volume 15, Issue 2

113 -- 148Robert J. Hall. A method and tools for large scale scenarios
149 -- 173Nadzeya Kiyavitskaya, Nicola Zannone. Requirements model generation to support requirements elicitation: the Secure Tropos experience
175 -- 206Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel. Deriving event-based transition systems from goal-oriented requirements models
207 -- 249Dan Hao, Lu Zhang, Ying Pan, Hong Mei, Jiasu Sun. On similarity-awareness in testing-based fault localization
251 -- 256Alan M. Davis. Desert Island Column

Volume 15, Issue 1

1 -- 2Sebastián Uchitel, Steve M. Easterbrook. Guest Editors Introduction
3 -- 33Eugen-Nicolae Volanschi. A portable compiler-integrated approach to permanent checking
35 -- 74Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan. Differencing and merging of architectural views
75 -- 107Leonardo Gresta Paulino Murta, André van der Hoek, Cláudia Maria Lima Werner. Continuous and automated evolution of architecture-to-implementation traceability links
109 -- 111Ian Sommerville. Desert Island Column