ACM SIGSOFT Software Engineering Notes, Volume 31

Volume 31, Number 1, January 2006

• Frontmatter (TOC, Letter from the chair, Letter from the editor, Letters to the editor, ACM policy and procedures on plagiarism, PASTE abstracts, Calendar of future events, Workshop and conference information).
  

• Nasib S. Gill:
  Importance of software component characterization for better software reusability. 1-3
  
• Dharmender Singh Kushwaha, Arun Kumar Misra:
  Robustness analysis of cognitive information complexity measure using Weyuker properties. 1-6
  
• Rosario Girardi, Alisson Neres Lindoso:
  An ontology-based knowledge base for the representation and reuse of software patterns. 1-6
  
• Givon Zirkind:
  How data inspection and consideration, provides for index compression and record access optimization of genetic databases. 1-4
  
• Manousaridis Zacharias, Mehdi Sagheb-Tehrani, Mamaloukas Christos:
  Practical aspects of DSS design for commodities transportation during special events. 1-6
  
• Dharmender Singh Kushwaha, Arun Kumar Misra:
  A modified cognitive information complexity measure of software. 1-4
  
• Flávio Oquendo:
  Formally modelling software architectures with the UML 2.0 profile for pi-ADL. 1-13
  
• Yuan Wang, Feng Xu, Jian Lü:
  Establishing recommendation trust relationships for internetwares. 1-5
  
• Richard Riehle:
  Linguistic continuity in software engineering. 1-5
  

• Michael Wing:
  Reminiscences. 4
  

• Mark Doernhoefer:
  Surfing the net for software engineering notes. 5-13
  

• Peter G. Neumann:
  Risks to the public. 14-19
  

Michael D. Ernst, Thomas P. Jensen (Eds.): Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005. ACM 2005, ISBN 1-59593-239-9
Contents

• Mordechai Ben-Menachem:
  Review of "Trustworthy Systems Through Quantitative Software Engineering by Lawrence Bernstein and C. M. Yuhas", IEEE Computer Society Press, 2005. 27-28
  
• Larry Bernstein:
  Review of "Competitive Engineering by Tom Gilb", Elsevier, 2005. ISBN: 0-7506-6507-6. 28
  

Volume 31, Number 2, March 2006

• Michael Collins, Charles Reynolds, Christine Le, Cihan Varol, Coskun Bayrak:
  Automated data verification in a format-free environment. 1-4
  
• Sergey Diev:
  Software estimation in the maintenance context. 1-8
  
• Robert Schaefer:
  A rational theory of system-making systems. 1-20
  
• Dharmender Singh Kushwaha, Arun Kumar Misra:
  Cognitive complexity metrics and its impact on software reliability based on cognitive software development model. 1-6
  
• Radu Mateescu, Flávio Oquendo:
  pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. 1-19
  
• Vojislav B. Misic:
  Perceptions of extreme programming: an exploratory study. 1-8
  

• Jeremy T. Lanman:
  Industrial software engineering: developing software systems. 3-5
  
• Peter B. Henderson:
  Software engineering education (SEEd). 3
  
• Michael Wing:
  Lonesome hacker blues. 5
  
• James E. Tomayko:
  Professor James E. Tomayko. 6
  

• Peter G. Neumann:
  Risks to the public. 6-16
  

• Mark Doernhoefer:
  Surfing the net for software engineering notes. 17-25
  

• Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
  Assume-guarantee testing.
  
• Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani:
  Dream types: a domain specific type system for component-based message-oriented middleware.
  
• Gabriel Ciobanu, Dorel Lucanu:
  A specification language for coordinated objects.
  
• Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova:
  Component-interaction automata as a verification-oriented component-based system specification.
  
• Jing Xu, Alexandre Oufimtsev, C. Murray Woodside, Liam Murphy:
  Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates.
  
• Markus Lumpe, Jean-Guy Schneider:
  Classboxes: an experiment in modeling compositional abstractions using explicit contexts.
  
• Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev:
  A specification-based approach to reasoning about pointers.
  
• Nguyen Truong Thang, Takuya Katayama:
  Specification and verification of inter-component constraints in CTL.
  
• Patrice Chalin, Frédéric Rioux:
  Non-null references by default in the Java modeling language.
  
• Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso:
  Specification and design of component-based coordination systems by integrating coordination patterns.
  
• Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego:
  Constraint satisfaction techniques for diagnosing errors in design by contract software.
  
• Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
  A categorical characterization for the compositional features of the # component model.
  
• Montse Ereño, Uxue Landa, Dra. Rebeca Cortazar:
  Software product lines structuring based upon market demands.
  
• Abdelaziz Guerrouat, Harald Richter:
  A component-based specification approach for embedded systems using FDTs.
  
• Konstantin Chekin:
  Theory of infinite streams and objects.
  

• Joe Saur:
  Review of "System Testing with an Attitude: An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality by Nathan Petschenik", Dorset House Publishing, 2005, ISBN 0-932633-46-3. 32-33
  
• Yu Feng:
  Review of "The Build Master: Microsoft's Software Configuration Management Best Practices by Vincent Maraia", Addison-Wesley, 2005, 0-321-33205-9. 32
  
• Joe Saur:
  Review of "Just Enough Requirements Management: Where Software Development Meets Marketing by Alan M. Davis", Dorset House Publishing, 2005, ISBN 0-932633-64-1. 33
  
• Robert Schaefer:
  Review of "Mobile Wireless Communications by Mischa Schwarz", Cambridge University Press, 2005, 0-521-84347-2. 34
  
• Robert Schaefer:
  Review of "Hiring The Best Knowledge Workers, Techies & Nerds by Johanna Rothman", Dorset House, 2004, 0-932633-59-5. 34
  
• Will Tracz:
  Review of "Process Improvement in Practice - A Handbook for IT Companies by Tore Dybä, Torgeir Dingsøyr, and Nils Brede Moe", Kluwer Academic Publishers, 2004, ISBN 1-4020-7869-2. 35
  

Volume 31, Number 3, May 2006

• Qun Yang, Xianchun Yang, Manwu Xu:
  A mobile agent approach to dynamic architecture-based software adaptation. 1-7
  
• Nonika Bajaj, Alok Tyagi, Rakesh Agarwal:
  Software estimation: a fuzzy approach. 1-5
  
• Justin M. Beaver, Guy A. Schiavone:
  The effects of development team skill on software product quality. 1-5
  
• Gary T. Leavens, Albert L. Baker, Clyde Ruby:
  Preliminary design of JML: a behavioral interface specification language for java. 1-38
  
• Pankaj Bhatt, Williams K, Gautam Shroff, Arun Kumar Misra:
  Influencing factors in outsourced software maintenance. 1-6
  
• Prabhat Ranjan, Arun Kumar Misra:
  A hybrid model for agent based system requirements analysis. 1-7
  
• Guido Rotondi, Gianpiero Guerrera:
  A consistent history authentication protocol. 1-7
  
• Zhongjie Wang, De-chen Zhan, Xiaofei Xu:
  STCIM: a dynamic granularity oriented and stability based component identification method. 1-14
  
• Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares:
  Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. 1-25
  
• Flávio Oquendo:
  pi-Method: a model-driven formal method for architecture-centric software engineering. 1-13
  

• Peter B. Henderson:
  Software engineering education (SEEd). 5
  
• Dennis J. Frailey:
  What math is relevant for a CS or SE student?: an employer's perspective. 6-7
  

• Michael Wing:
  Be here now. 7
  

• Mark Doernhoefer:
  Surfing the net for software engineering notes. 8-16
  

• Peter G. Neumann:
  Risks to the public. 17-24
  

• Lori A. Clarke, David S. Rosenblum:
  A historical perspective on runtime assertion checking in software development. 25-37
  

• Larry Bernstein:
  Review of "Practical Support for CMMI-SW Software Project Documentation Using IEEE Software Engineering Standards by Susan K. Lan and John W. Walz", IEEE Computer Society Wiley Interscience, 2006, ISBN: 0-471-73849-2. 41
  
• Larry Bernstein:
  Review of "Mobile Computing Principles by Reza B'Far", Cambridge University Press, 2005, ISBN: 0-521-81733-1. 41-42
  
• Andrew Petro:
  Review of "More Java Gems by Dwight Deugo", Cambridge University Press, 2000, ISBN: 0-521-77477-2. 42
  
• Amr Elssamadisy:
  Review of "Hibernate: A J2EE Developer's Guide by Will Iverson", Pearson Education Inc., 2005, ISBN: 0-471-20282-7. 42-43
  
• Amr Elssamadisy:
  Review of "Fit for Developing Software: Framework for Integrated Tests by Rick Mugridge and Ward Cunningham", Pearson Education Inc., 2005, ISBN: 0-321-26934-9. 43-44
  
• Robert L. Glass:
  Review of "COBOL Programmers Swing With Java by E. Reed Doke, Bill C. Hardgrave and Richard A. Johnson", Cambridge University Press, 2005. 44-45
  

Volume 31, Number 4, July 2006

• Fiona Darroch, Mark A. Toleman:
  ACM fellow profile: Bob Glass. 2-6
  

• Muhammad Raza Ali:
  Imparting effective software engineering education. 1-3
  
• Robert Schaefer:
  A critical programmer searches for professionalism. 1-17
  
• Dharmender Singh Kushwaha, R. K. Singh, Arun Kumar Misra:
  Cognitive web based software development process: towards a more reliable approach. 1-6
  
• Mario Garzia, John P. Hudepohl, Will Snipes, Michael Lyu, John D. Musa, Carol Smidts, Laurie Williams:
  How should software reliability engineering (SRE) be taught? 1-5
  

• Peter B. Henderson:
  Software engineering education (SEEd). 8
  
• Timothy C. Lethbridge:
  Reflections on CSEE&T 2006. 8-9
  

• Michael Wing:
  Growing up is painful. 9
  

• L. B. S. Raccoon:
  A leadership primer for software engineers. 10-15
  

• Mark Doernhoefer:
  JavaScript. 16-24
  

• Peter G. Neumann:
  Risks to the public. 25-37
  

• Silvia Breu:
  Review of "eclipse---Building Commercial-Quality Plug-Ins by Eric Clayberg and Dan Rubel", Addison-Wesley, 2004, 0-321-22847-2. 39
  
• James Law:
  Review of "Mirgrating to IPv6 by Marc Blanchet", John Wiley & Sons, Ltd., 2006, 0-471-49892-0. 39-40
  
• Will Tracz:
  Review of "Weinberg on Writing: The Fieldstone Method by Gerald M. Weinberg", Dorsett House, 2006. 40
  

Volume 31, Number 5, September 2006

• Deepak Dahiya, Rajinder K. Sachdeva:
  Approaches to aspect oriented design: a study. 1-4
  
• R. K. Singh, Pravin Chandra, Yogesh Singh:
  An evaluation of Boolean expression testing techniques. 1-6
  
• Steve Counsell, Stephen Swift, Allan Tucker, Emilia Mendes:
  Object-oriented cohesion subjectivity amongst experienced and novice developers: an empirical study. 1-10
  
• Jeffrey Rekoske, Hamid Ghasemiyeh, Ahmed Salem:
  A practical extension to the VORD model. 1-5
  
• Dharmender Singh Kushwaha, Arun Kumar Misra:
  Improved cognitive information complexity measure: a metric that establishes program comprehension effort. 1-7
  

• Michael Wing:
  Roller coaster. 4
  

• Fernando Berzal:
  A crossword on programming languages. 5
  

• Mark Doernhoefer:
  Surfing the net for software engineering notes. 6-15
  

• Peter G. Neumann:
  Risks to the public. 16-21
  

• Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner:
  3^rd Intl. ICSE workshop on software engineering for automotive systems. 22-23
  
• Alessandro Garcia, Holger Giese, Alexander Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon:
  Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. 24-32
  
• Patricia Lago, Paris Avgeriou:
  First workshop on sharing and reusing architectural knowledge. 32-36
  
• Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman:
  Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06). 36-38
  
• Jon Whittle, Leif Geiger, Michael Meisinger:
  5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM). 39-40
  

• Remco C. de Boer:
  Architectural knowledge discovery: why and how?
  
• Davide Falessi, Martin Becker, Giovanni Cantone:
  Design decision rationale: experiences and steps ahead towards systematic use.
  
• Rik Farenhorst:
  Tailoring knowledge sharing to the architecting process.
  
• Rafael Capilla, Francisco Nava, Sandra Pérez, Juan C. Dueñas:
  A web-based tool for managing architectural design decisions.
  
• Marco Sinnema, Jan Salvador van der Ven, Sybren Deelstra:
  Using variability modeling principles to capture architectural knowledge.
  
• Alessandro Garcia, Thaís Vasconcelos Batista, Awais Rashid, Cláudio Sant'Anna:
  Driving and managing architectural decisions with aspects.
  

Volume 31, Number 6, November 2006

• Frontmatter (TOC, Miscellaneous material). 0
  

• Sergey Diev:
  Use cases modeling and software estimation: applying use case points. 1-4
  
• Andy Brooks:
  Software process improvement uncut: interviews. 1-11
  
• Steffen Becker, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek, Jan Ploski, Abhishek Dhama, Henrik Lipskoch, Matthias Rohr, Daniel Winteler, Simon Giesecke, Roland Meyer, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns:
  Trustworthy software systems: a discussion of basic concepts and terminology. 1-18
  
• Prabhat Ranjan, Arun Kumar Misra:
  Agent based system development: a domain-specific goal approach. 1-6
  
• Sanjay Misra, Hürevren Kiliç:
  Measurement theory and validation criteria for software complexity measures. 1-3
  

• Myra B. Cohen, Joshua Snyder, Gregg Rothermel:
  Testing across configurations: implications for combinatorial testing. 1-9
  
• André L. L. de Figueiredo, Wilkerson de L. Andrade, Patrícia D. L. Machado:
  Generating interaction test cases for mobile phone systems from use case specifications. 1-10
  
• Gordon Fraser, Franz Wotawa:
  Property relevant software testing with model-checkers. 1-10
  
• Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer:
  Achieving communication coverage in testing. 1-10
  

• Eric Larson:
  SUDS: an infrastructure for dynamic software bug detection using static analysis. 1-2
  
• Prasanth Anbalagan, Tao Xie:
  Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring. 1-2
  
• Yasser Kotb, Takuya Katayama:
  Improving software documentation using textual entailment. 1-2
  
• Engin Uzuncaova, Sarfraz Khurshid:
  Program slicing for declarative models. 1-2
  
• Ajitha Rajan:
  Automated requirements-based test case generation. 1-2
  
• Juri Memmert, Hridesh Rajan:
  Osiris: generating concern models from source code. 1-2
  
• Danny Dig, Kashif Manzoor, Tien N. Nguyen, Ralph Johnson:
  Refactoring-aware software merging and configuration management. 1-2
  
• Edin Arnautovic, Hermann Kaindl, Jürgen Falb:
  An architecture for gradual transition towards self-managed software systems. 1-2
  
• Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers:
  Formal techniques in a remote voting system. 1-2
  
• Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
  A relationship-driven approach to view merging. 1-2
  
• Youssef Hanna, Hridesh Rajan:
  SLEDE: event-based specification of sensor network security protocols. 1-2
  
• Adrian Schröter, Thomas Zimmermann, Rahul Premraj, Andreas Zeller:
  Where do bugs come from? 1-2
  
• Robert Dyer, Harish Narayanappa, Hridesh Rajan:
  Nu: preserving design modularity in object code. 1-2
  

• Peter B. Henderson:
  Software Engineering Education (SEEd). 9
  
• Michael Wing:
  Burt add numbers: a tale of software. 10
  

• Mark Doernhoefer:
  Surfing the net for software engineering notes. 11-20
  

• Peter G. Neumann:
  Risks to the public. 21-37
  

• Jeff Kramer, Orit Hazzan:
  The Role of Abstraction in Software Engineering. 38-39
  

• Robert Schaefer:
  Review of "Design For Trustworthy Software by Bijay K. Jayaswal and Peter C. Patton", Prentice Hall, 2007, ISBN 0-13-187250-8. 58-59
  
• Joe Saur:
  Review of "IEEE Computer Society Real-World Software Engineering Problems: A Self-Study Guide for Today's Software Professional by J. Fernando Naveda and Stephen B. Seidman", Prentice Hall, 2006, ISBN 0-471-71051-2. 58
  
• Robert Schaefer:
  Review of "Catastrophe Disentanglement by E. M. Bennatan", Addison Wesley, 2006, ISBN 0-321-336620. 59-60
  
• Bijay Jayaswall:
  Response from authors of "Design For Trustworthy Software". 59
  
• Debora Weber-Wulff:
  Review of "Fascicle 4: Generating All Trees - History of Combinatorial Generation by Donald E. Knuth", Addison-Wesley, 2006, ISBN 0-321-33570-8. 60