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 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, 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
Last update Sat May 18 20:53:40 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page