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
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
Electronic Edition (ACM DL) BibTeX
- Leona F. Fass:
Fostering web use in some real environments.
1-4
Electronic Edition (ACM DL) BibTeX
- Sergey Diev:
Structuring complex requirements.
1-5
Electronic Edition (ACM DL) BibTeX
- Sergey Diev:
Requirements development as a modeling activity.
1-3
Electronic Edition (ACM DL) BibTeX
- Nasib S. Gill, Pradeep Tomar:
CBS testing requirements and test case process documentation revisited.
1-4
Electronic Edition (ACM DL) BibTeX
- Orit Hazzan, Yael Dubinsky:
Why software engineering programs should teach agile software development.
1-3
Electronic Edition (ACM DL) BibTeX
- Liu Jiufu:
Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle.
1-4
Electronic Edition (ACM DL) BibTeX
- Sanjay Misra, Hürevren Kiliç:
Measurement theory and validation criteria for software complexity measures.
1-3
Electronic Edition (ACM DL) BibTeX
- Sanjay Misra, A. K. Misra:
Evaluation and comparison of cognitive complexity measure.
1-5
Electronic Edition (ACM DL) BibTeX
- Mohammad Reza Nami, Mehdi Sagheb-Tehrani, Mohsen Sharifi:
Applying domain engineering using RAISE into a particular banking domain.
1-6
Electronic Edition (ACM DL) BibTeX
- Vili Podgorelec, Marjan Hericko:
Estimating software complexity from UML models.
1-5
Electronic Edition (ACM DL) BibTeX
- Jörg Rech:
Podcasts about software engineering.
1-2
Electronic Edition (ACM DL) BibTeX
- Jörg Rech:
Discovering trends in software engineering with google trend.
1-2
Electronic Edition (ACM DL) BibTeX
- Jörg Rech, Waldemar Schäfer:
Visual support of software engineers during development and maintenance.
1-3
Electronic Edition (ACM DL) BibTeX
- Alexander Romanovsky:
A looming fault tolerance software crisis?
1-4
Electronic Edition (ACM DL) BibTeX
- Nelson Souto Rosa, Paulo Roberto Freire Cunha:
A formal framework for middleware behavioural specification.
1-7
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
An assessment of 4 books on software test management
Volume 32,
Number 3,
May 2007
Article abstracts with full text online
Columns
Reviews
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.
Electronic Edition (ACM DL) BibTeX
- Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal:
Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.
Electronic Edition (ACM DL) BibTeX
- Ayaz Farooq, Reiner R. Dumke:
Research directions in verification & validation process improvement.
Electronic Edition (ACM DL) BibTeX
- Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel:
SEC+: an enhanced search engine for component-based software development.
Electronic Edition (ACM DL) BibTeX
- R. Krishnan, S. Murali Krishna, Nishil Bharill:
Code quality tools: learning from our experience.
Electronic Edition (ACM DL) BibTeX
- Fernando Antônio Aires Lins, José Carlos dos Santos Júnior, Nelson Souto Rosa:
Adaptive web service composition.
Electronic Edition (ACM DL) BibTeX
- Richard Riehle:
Designing software components to tolerances.
Electronic Edition (ACM DL) BibTeX
- Robert Schaefer:
The Grand Theory of Everything: what man-made systems are, and why they fail.
Electronic Edition (ACM DL) BibTeX
- R. Senthil, Dharmender Singh Kushwaha, Arun Kumar Misra:
An improved component model for component based software engineering.
Electronic Edition (ACM DL) BibTeX
- Yogesh Singh, Bindu Goel:
A step towards software preventive maintenance.
Electronic Edition (ACM DL) BibTeX
- Fathi Taibi, Jacob K. Daniel, Fouad Mohammed Abbou:
On checking the consistency of Object-Z classes.
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- David Budgen, Pearl Brereton:
Realising evidence-based software engineering (REBSE-2) a report from the workshop held at ICSE 2007.
36-39
Electronic Edition (ACM DL) BibTeX
- Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner:
4th Intl. ICSE workshop on Software Engineering for Automotive Systems.
40
Electronic Edition (ACM DL) BibTeX
- Paris Avgeriou, Philippe Kruchten, Patricia Lago, Paul Grisham, Dewayne E. Perry:
Architectural knowledge and rationale: issues, trends, challenges.
41-46
Electronic Edition (ACM DL) BibTeX
- Peter Sawyer, Barbara Paech, Patrick Heymans:
Working conference on requirements engineering: foundation for software quality (REFSQ'07).
47-53
Electronic Edition (ACM DL) BibTeX
Book review
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.
Electronic Edition (ACM DL) BibTeX
- Anup Kumar Bandyopadhyay:
Modeling fairness and starvation in concurrent systems.
Electronic Edition (ACM DL) BibTeX
- Behzad Bastani, Hoda Bastani:
High-level open evolvable systems design by process-oriented modeling: application to DNA replication mechanism.
Electronic Edition (ACM DL) BibTeX
- 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.
Electronic Edition (ACM DL) BibTeX
- Richard Riehle:
Institutional memory and risk management.
Electronic Edition (ACM DL) BibTeX
- Jan Ploski, Matthias Rohr, Peter Schwenkenberg, Wilhelm Hasselbring:
Research issues in software fault categorization.
Electronic Edition (ACM DL) BibTeX
- Yi Wang, Defeng Guo, Huihui Shi:
Measuring the evolution of open source software systems with their communities.
Electronic Edition (ACM DL) BibTeX
- Givon Zirkind:
AFIS data compression: an example of how domain specific compression algorithms can produce very high compression ratios.
Electronic Edition (ACM DL) BibTeX
Columns
Copyright © Sun May 17 00:21:58 2009
by Michael Ley (ley@uni-trier.de)
