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).
Electronic Edition (ACM DL) BibTeX
Article abstracts with full text online
Reminiscences
Surfing the net for software engineering notes
Risks to the public
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 BibTeX
Book review
Volume 31,
Number 2,
March 2006
Article abstracts with full text online
Software engineering education
Risks to the public
Surfing the net for software engineering notes
Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005)
- Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-guarantee testing.
Electronic Edition (ACM DL) BibTeX
- 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.
Electronic Edition (ACM DL) BibTeX
- Gabriel Ciobanu, Dorel Lucanu:
A specification language for coordinated objects.
Electronic Edition (ACM DL) BibTeX
- Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova:
Component-interaction automata as a verification-oriented component-based system specification.
Electronic Edition (ACM DL) BibTeX
- Jing Xu, Alexandre Oufimtsev, C. Murray Woodside, Liam Murphy:
Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates.
Electronic Edition (ACM DL) BibTeX
- Markus Lumpe, Jean-Guy Schneider:
Classboxes: an experiment in modeling compositional abstractions using explicit contexts.
Electronic Edition (ACM DL) BibTeX
- Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev:
A specification-based approach to reasoning about pointers.
Electronic Edition (ACM DL) BibTeX
- Nguyen Truong Thang, Takuya Katayama:
Specification and verification of inter-component constraints in CTL.
Electronic Edition (ACM DL) BibTeX
- Patrice Chalin, Frédéric Rioux:
Non-null references by default in the Java modeling language.
Electronic Edition (ACM DL) BibTeX
- Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso:
Specification and design of component-based coordination systems by integrating coordination patterns.
Electronic Edition (ACM DL) BibTeX
- Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego:
Constraint satisfaction techniques for diagnosing errors in design by contract software.
Electronic Edition (ACM DL) BibTeX
- Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
A categorical characterization for the compositional features of the # component model.
Electronic Edition (ACM DL) BibTeX
- Montse Ereño, Uxue Landa, Dra. Rebeca Cortazar:
Software product lines structuring based upon market demands.
Electronic Edition (ACM DL) BibTeX
- Abdelaziz Guerrouat, Harald Richter:
A component-based specification approach for embedded systems using FDTs.
Electronic Edition (ACM DL) BibTeX
- Konstantin Chekin:
Theory of infinite streams and objects.
Electronic Edition (ACM DL) BibTeX
Book reviews
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Robert Schaefer:
Review of "Mobile Wireless Communications by Mischa Schwarz", Cambridge University Press, 2005, 0-521-84347-2.
34
Electronic Edition (ACM DL) BibTeX
- Robert Schaefer:
Review of "Hiring The Best Knowledge Workers, Techies & Nerds by Johanna Rothman", Dorset House, 2004, 0-932633-59-5.
34
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Volume 31,
Number 3,
May 2006
Article abstracts with full text online
- Qun Yang, Xianchun Yang, Manwu Xu:
A mobile agent approach to dynamic architecture-based software adaptation.
1-7
Electronic Edition (ACM DL) BibTeX
- Nonika Bajaj, Alok Tyagi, Rakesh Agarwal:
Software estimation: a fuzzy approach.
1-5
Electronic Edition (ACM DL) BibTeX
- Justin M. Beaver, Guy A. Schiavone:
The effects of development team skill on software product quality.
1-5
Electronic Edition (ACM DL) BibTeX
- Gary T. Leavens, Albert L. Baker, Clyde Ruby:
Preliminary design of JML: a behavioral interface specification language for java.
1-38
Electronic Edition (ACM DL) BibTeX
- Pankaj Bhatt, Williams K, Gautam Shroff, Arun Kumar Misra:
Influencing factors in outsourced software maintenance.
1-6
Electronic Edition (ACM DL) BibTeX
- Prabhat Ranjan, Arun Kumar Misra:
A hybrid model for agent based system requirements analysis.
1-7
Electronic Edition (ACM DL) BibTeX
- Guido Rotondi, Gianpiero Guerrera:
A consistent history authentication protocol.
1-7
Electronic Edition (ACM DL) BibTeX
- Zhongjie Wang, De-chen Zhan, Xiaofei Xu:
STCIM: a dynamic granularity oriented and stability based component identification method.
1-14
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Flávio Oquendo:
pi-Method: a model-driven formal method for architecture-centric software engineering.
1-13
Electronic Edition (ACM DL) BibTeX
Software engineering education
Be here now
Surfing the net for software engineering notes
Risks to the public
Reports
Book review
- 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
Electronic Edition (ACM DL) BibTeX
- Larry Bernstein:
Review of "Mobile Computing Principles by Reza B'Far", Cambridge University Press, 2005, ISBN: 0-521-81733-1.
41-42
Electronic Edition (ACM DL) BibTeX
- Andrew Petro:
Review of "More Java Gems by Dwight Deugo", Cambridge University Press, 2000, ISBN: 0-521-77477-2.
42
Electronic Edition (ACM DL) BibTeX
- Amr Elssamadisy:
Review of "Hibernate: A J2EE Developer's Guide by Will Iverson", Pearson Education Inc., 2005, ISBN: 0-471-20282-7.
42-43
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Volume 31,
Number 4,
July 2006
Article abstracts with full text online
Software engineering education
Growing up is painful
A leadership primer for software engineers
Surfing the net for software engineering notes
Risks to the public
Book reviews
Volume 31,
Number 5,
September 2006
Article abstracts with full text online
Roller coaster
Programming languages crossword puzzle
Surfing the net for software engineering notes
Risks to the public
Reports
- Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner:
3rd Intl. ICSE workshop on software engineering for automotive systems.
22-23
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Patricia Lago, Paris Avgeriou:
First workshop on sharing and reusing architectural knowledge.
32-36
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Jon Whittle, Leif Geiger, Michael Meisinger:
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM).
39-40
Electronic Edition (ACM DL) BibTeX
SHAring and Reusing architectural Knowledge (SHARK '2006) paper abstracts
- Remco C. de Boer:
Architectural knowledge discovery: why and how?
Electronic Edition (ACM DL) BibTeX
- Davide Falessi, Martin Becker, Giovanni Cantone:
Design decision rationale: experiences and steps ahead towards systematic use.
Electronic Edition (ACM DL) BibTeX
- Rik Farenhorst:
Tailoring knowledge sharing to the architecting process.
Electronic Edition (ACM DL) BibTeX
- Rafael Capilla, Francisco Nava, Sandra Pérez, Juan C. Dueñas:
A web-based tool for managing architectural design decisions.
Electronic Edition (ACM DL) BibTeX
- Marco Sinnema, Jan Salvador van der Ven, Sybren Deelstra:
Using variability modeling principles to capture architectural knowledge.
Electronic Edition (ACM DL) BibTeX
- Alessandro Garcia, Thaís Vasconcelos Batista, Awais Rashid, Cláudio Sant'Anna:
Driving and managing architectural decisions with aspects.
Electronic Edition (ACM DL) BibTeX
Volume 31,
Number 6,
November 2006
Article abstracts with full text online
- Sergey Diev:
Use cases modeling and software estimation: applying use case points.
1-4
Electronic Edition (ACM DL) BibTeX
- Andy Brooks:
Software process improvement uncut: interviews.
1-11
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Prabhat Ranjan, Arun Kumar Misra:
Agent based system development: a domain-specific goal approach.
1-6
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
Second Workshop on Advances in Model-based Software Testing (A-MOST'06)
FSE Poster Session
- Eric Larson:
SUDS: an infrastructure for dynamic software bug detection using static analysis.
1-2
Electronic Edition (ACM DL) BibTeX
- Prasanth Anbalagan, Tao Xie:
Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring.
1-2
Electronic Edition (ACM DL) BibTeX
- Yasser Kotb, Takuya Katayama:
Improving software documentation using textual entailment.
1-2
Electronic Edition (ACM DL) BibTeX
- Engin Uzuncaova, Sarfraz Khurshid:
Program slicing for declarative models.
1-2
Electronic Edition (ACM DL) BibTeX
- Ajitha Rajan:
Automated requirements-based test case generation.
1-2
Electronic Edition (ACM DL) BibTeX
- Juri Memmert, Hridesh Rajan:
Osiris: generating concern models from source code.
1-2
Electronic Edition (ACM DL) BibTeX
- Danny Dig, Kashif Manzoor, Tien N. Nguyen, Ralph Johnson:
Refactoring-aware software merging and configuration management.
1-2
Electronic Edition (ACM DL) BibTeX
- Edin Arnautovic, Hermann Kaindl, Jürgen Falb:
An architecture for gradual transition towards self-managed software systems.
1-2
Electronic Edition (ACM DL) BibTeX
- Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers:
Formal techniques in a remote voting system.
1-2
Electronic Edition (ACM DL) BibTeX
- Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
A relationship-driven approach to view merging.
1-2
Electronic Edition (ACM DL) BibTeX
- Youssef Hanna, Hridesh Rajan:
SLEDE: event-based specification of sensor network security protocols.
1-2
Electronic Edition (ACM DL) BibTeX
- Adrian Schröter, Thomas Zimmermann, Rahul Premraj, Andreas Zeller:
Where do bugs come from?
1-2
Electronic Edition (ACM DL) BibTeX
- Robert Dyer, Harish Narayanappa, Hridesh Rajan:
Nu: preserving design modularity in object code.
1-2
Electronic Edition (ACM DL) BibTeX
Software engineering education
Surfing the net for software engineering notes
Risks to the public
Book review
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Robert Schaefer:
Review of "Catastrophe Disentanglement by E. M. Bennatan", Addison Wesley, 2006, ISBN 0-321-336620.
59-60
Electronic Edition (ACM DL) BibTeX
- Bijay Jayaswall:
Response from authors of "Design For Trustworthy Software".
59
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Copyright © Sun May 17 00:21:58 2009
by Michael Ley (ley@uni-trier.de)
