ACM SIGSOFT Software Engineering Notes, Volume 32

Volume 32, Number 1, January 2007

ACM TOSEM

• 
  David Notkin:
  FAQs and figures. 3

Software engineering education

• 
  Peter B. Henderson:
  Software engineering education (SEEd). 4
• 
  Heidi J. C. Ellis:
  Software engineering: effective teaching and learning approaches and practices. 4
• 
  Michael Wing:
  Hacking with love. 4-5

Surfing the net for software engineering notes

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

Risks to the public

• 
  Peter G. Neumann:
  Risks to the public. 15-20

Reports

• 
  Wolfgang Emmerich, Mikio Aoyama, Joe Sventek:
  The impact of research on middleware technology. 21-46

Book review

• 
  Yu Feng:
  Review of "The Cognitive Dynamics of Computer Science: Cost-Effective Large Scale Software Development by Szabolcs Michael de Gyurky", Wiley-IEEE Computer Society, 2006, 0-471-97047-6. 47-48
• 
  Mordechai Ben-Menachem:
  Review of "Software Measurement and Estimation: A Practical Approach by Linda M. Laird and M. Carol Brennan", Wiley-Interscience, 2006. 47

Volume 32, Number 2, March 2007

Columns

• 
  David Notkin:
  FAQs and figures. 6-7
• 
  Michael Wing:
  Cocoa Krispies. 7
• 
  Mark Doernhoefer:
  Surfing the net for software engineering notes: solving the software quality problem. 8-17
• 
  Peter G. Neumann:
  Risks to the public. 18-23

Article abstracts with full text online

• 
  Behzad Bastani:
  A requirements analysis framework for open systems requirements engineering. 1-19
• 
  Leona F. Fass:
  Fostering web use in some real environments. 1-4
• 
  Sergey Diev:
  Structuring complex requirements. 1-5
• 
  Sergey Diev:
  Requirements development as a modeling activity. 1-3
• 
  Nasib Singh Gill, Pradeep Tomar:
  CBS testing requirements and test case process documentation revisited. 1-4
• 
  Orit Hazzan, Yael Dubinsky:
  Why software engineering programs should teach agile software development. 1-3
• 
  Liu Jiufu:
  Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle. 1-4
• 
  Sanjay Misra, Hürevren Kiliç:
  Measurement theory and validation criteria for software complexity measures. 1-3
• 
  Sanjay Misra, A. K. Misra:
  Evaluation and comparison of cognitive complexity measure. 1-5
• 
  Mohammad Reza Nami, Mehdi Sagheb-Tehrani, Mohsen Sharifi:
  Applying domain engineering using RAISE into a particular banking domain. 1-6
• 
  Vili Podgorelec, Marjan Hericko:
  Estimating software complexity from UML models. 1-5
• 
  Jörg Rech:
  Podcasts about software engineering. 1-2
• 
  Jörg Rech:
  Discovering trends in software engineering with google trend. 1-2
• 
  Jörg Rech, Waldemar Schäfer:
  Visual support of software engineers during development and maintenance. 1-3
• 
  Alexander B. Romanovsky:
  A looming fault tolerance software crisis? 1-4
• 
  Nelson Souto Rosa, Paulo Roberto Freire Cunha:
  A formal framework for middleware behavioural specification. 1-7
• 
  Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima:
  Software synthesis for hard real-time embedded systems with multiple processors. 1-10

An assessment of 4 books on software test management

• 
  Review of "Managing the Testing Process by Rex Black, " Wiley 2002. 28-32
• 
  Review of "Productive Software Test Management by Michael W. Evans, " Wiley 1984. 32
• 
  Review of "Software Testing Management by Thomas C. Royer, " P-H 1993. 32-33
• 
  Review of "Change-based Test Management by Jon Sistowicz and Ray Arell, " Intel Press 2001. 33-34

Volume 32, Number 3, May 2007

Article abstracts with full text online

• 
  Oscar Pedreira, Mario Piattini, Miguel Rodríguez Luaces, Nieves R. Brisaboa:
  A systematic review of software process tailoring. 1-6
• 
  R. Krishnan, S. Murali Krishna, P. Siva Nandhan:
  Combinatorial testing: learnings from our experience. 1-8
• 
  Ping Yu, Xiaoxing Ma, Jian Lu:
  Expectation, experiment and reflection on internet software evolution. 1-5
• 
  Sanjay Misra:
  Validating modified cognitive complexity measure. 1-5
• 
  Praful V. Bhansali:
  The MCDC paradox. 1-4

Columns

• 
  Peter B. Henderson:
  Software engineering education: (SEEd). 6-7
• 
  David Notkin:
  ACM TOSEM: FAQs and figures. 6
• 
  Orit Hazzan:
  The influence of software intangibility on computer science and software engineering education. 7-8
• 
  Michael Wing:
  Software traumatica. 8-9
• 
  Mark Doernhoefer:
  Surfing the net for software engineering notes. 10-19
• 
  Peter G. Neumann:
  Risks to the public. 20-24

Reviews

• 
  Ray Arell:
  Wonderful Jupiter?: (A Rebuttal). 26

Volume 32, Number 4, July 2007

Article abstracts with full text online

• 
  Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal:
  Ordering of events in two-process concurrent system.
• 
  Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal:
  Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.
• 
  Ayaz Farooq, Reiner R. Dumke:
  Research directions in verification & validation process improvement.
• 
  Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel:
  SEC+: an enhanced search engine for component-based software development.
• 
  R. Krishnan, S. Murali Krishna, Nishil Bharill:
  Code quality tools: learning from our experience.
• 
  Fernando Antônio Aires Lins, José Carlos dos Santos Júnior, Nelson Souto Rosa:
  Adaptive web service composition.
• 
  Richard Riehle:
  Designing software components to tolerances.
• 
  Robert Schaefer:
  The Grand Theory of Everything: what man-made systems are, and why they fail.
• 
  R. Senthil, Dharmender Singh Kushwaha, Arun Kumar Misra:
  An improved component model for component based software engineering.
• 
  Yogesh Singh, Bindu Goel:
  A step towards software preventive maintenance.
• 
  Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou:
  On checking the consistency of Object-Z classes.

Columns

• 
  David Notkin:
  ACM TOSEM: FAQs and figures. 8
• 
  Michael Wing:
  Superhack. 9
• 
  Mark Doernhoefer:
  Surfing the net for software engineering notes. 10-19
• 
  Peter G. Neumann:
  Risks to the public. 20-29

Workshop summaries

• 
  Paul C. Clements, David E. Emery, Rich Hilliard, Philippe Kruchten:
  Aspects in Architectural Description: report on a first workshop at AOSD 2007. 33-35
• 
  David Budgen, Pearl Brereton:
  Realising evidence-based software engineering (REBSE-2) a report from the workshop held at ICSE 2007. 36-39
• 
  Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner:
  4^th Intl. ICSE workshop on Software Engineering for Automotive Systems. 40
• 
  Paris Avgeriou, Philippe Kruchten, Patricia Lago, Paul Grisham, Dewayne E. Perry:
  Architectural knowledge and rationale: issues, trends, challenges. 41-46
• 
  Peter Sawyer, Barbara Paech, Patrick Heymans:
  Working conference on requirements engineering: foundation for software quality (REFSQ'07). 47-53

Book review

• 
  Mordechai Ben-Menachem:
  Review of "TSP: Coaching Development Teams by Watts S. Humphrey, " Addison-Wesley, 2006. 53

Volume 32, Number 5, September 2007

Article abstracts with full text online

• 
  Pritam S. Grover, Rajesh Kumar Bhatia, Arun Sharma:
  Few useful considerations for maintaining software components and component-based systems. 1-5
• 
  Nenad Marovac:
  UML based embedded documentation for semi-automatic software development. 1-3
• 
  Gang Huang:
  Post-development software architecture. 1-9
• 
  Richard Riehle:
  Failure-driven software safety. 1-4

Columns

• 
  David Notkin:
  ACM TOSEM: FAQs and figures. 5-6
• 
  Peter B. Henderson:
  Software engineering education: (SEEd). 6
• 
  Mark Doernhoefer:
  Surfing the net for software engineering notes. 7-16
• 
  Peter G. Neumann:
  Risks to the public. 17-25

Workshop summaries

• 
  Alessandro Garcia, Phil Greenwood, George T. Heineman, Robert J. Walker, Yuanfang Cai, Hong Yul Yang, Elisa L. A. Baniassad, Cristina Videira Lopes, Christa Schwanninger, Jianjun Zhao:
  Assessment of Contemporary Modularization Techniques - ACoM'07: workshop report. 31-37
• 
  Jeffrey C. Carver:
  Post-workshop report for the Third International Workshop on Software Engineering for High Performance Computing Applications (SE-HPC 07). 38-43

Volume 32, Number 6, November 2007

Article abstracts with full text online

• 
  Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal:
  On the correctness issues in two-process mutual exclusion algorithms.
• 
  Anup Kumar Bandyopadhyay:
  Modeling fairness and starvation in concurrent systems.
• 
  Behzad Bastani, Hoda Bastani:
  High-level open evolvable systems design by process-oriented modeling: application to DNA replication mechanism.
• 
  Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel:
  TXM: an agile HW/SW development methodology for building medical devices.
• 
  Richard Riehle:
  Institutional memory and risk management.
• 
  Jan Ploski, Matthias Rohr, Peter Schwenkenberg, Wilhelm Hasselbring:
  Research issues in software fault categorization.
• 
  Yi Wang, Defeng Guo, Huihui Shi:
  Measuring the evolution of open source software systems with their communities.
• 
  Givon Zirkind:
  AFIS data compression: an example of how domain specific compression algorithms can produce very high compression ratios.

Columns

• 
  Michael Wing:
  On the economics of software. 8-9
• 
  Mark Doernhoefer:
  Surfing the net for software engineering notes. 10-19
• 
  Peter G. Neumann:
  Risks to the public. 20-27