Volume 32,
Number 1,
January 2007
ACM TOSEM
Software engineering education
Surfing the net for software engineering notes
Risks to the public
Reports
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
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 S. 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 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
Columns
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 K. Daniel, Fouad Mohammed Abbou:
On checking the consistency of Object-Z classes.
Columns
Workshop summaries
- Paul 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, Chris Salzmann, Bernhard Schätz, Thomas Stauner:
4th 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
Columns
Workshop summaries
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 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
Copyright © Mon Nov 2 21:54:07 2009
by Michael Ley (ley@uni-trier.de)
