skip to content

ACM Sigsoft

Overview
Works: 1,222 works in 1,946 publications in 1 language and 32,099 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Publisher, Other, Organizer of meeting
Classifications: QA76.6, 001.64205
Publication Timeline
Key
Publications about ACM Sigsoft
Publications by ACM Sigsoft
Most widely held works by ACM Sigsoft
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering by Association for Computing Machinery (ACM)( file )
in 3 languages and held by 918 libraries worldwide
Proceedings by International Conference on Software Engineering( serial )
in English and No Linguistic Content and held by 707 libraries worldwide
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 by Reidar Conradi( Book )
3 editions published in 1986 in English and held by 257 libraries worldwide
Proceedings ... annual Knowledge-based Software Engineering Conference by Knowledge-based Software Engineering Conference( file )
in English and held by 236 libraries worldwide
Proceedings of the ACM Symposium on User Interface Software and Technology by ACM Symposium on User Interface Software and Technology( serial )
in English and No Linguistic Content and held by 227 libraries worldwide
IEEE/ACM International Conference on Automated Software Engineering [proceedings] by IEEE/ACM International Conference on Automated Software Engineering( file )
in English and held by 209 libraries worldwide
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings by Matthew Dwyer( Book )
3 editions published in 2001 in English and held by 198 libraries worldwide
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields
Proceedings : Second Workshop on Software Testing, Verification, and Analysis, 19-21 July 1988, Banff, Canada by Verification, and Analysis Workshop on Software Testing( Book )
8 editions published between 1988 and 2002 in English and held by 94 libraries worldwide
Proceedings of the 1999 International Conference on Software Engineering : ICSE 99 : May 16-22, 1999, Los Angeles, California, USA by International Conference on Software Engineering( Book )
8 editions published between 1999 and 2002 in English and held by 83 libraries worldwide
Proceedings of the Third IEEE International Symposium on Requirements Engineering, January 6-10, 1997, Annapolis, Maryland, USA by IEEE International Symposium on Requirements Engineering( Book )
7 editions published between 1997 and 2002 in English and held by 77 libraries worldwide
Third International Conference on the Software Process : applying the software process : proceedings, October 10-11, 1994, Reston, Virginia by International Conference on the Software Process( Book )
3 editions published in 1994 in English and held by 75 libraries worldwide
Proceedings : 29th International Conference on Software Engineering : ICSE 2007 : 20-26 May 2007, Minneapolis, Minnesota by International Conference on Software Engineering( Book )
8 editions published in 2007 in English and held by 75 libraries worldwide
Proceedings : Working Conference on Reverse Engineering, May 21-23, 1993, Baltimore, Maryland by Working Conference on Reverse Engineering( Book )
5 editions published between 1993 and 2002 in English and held by 71 libraries worldwide
Proceedings, 15th International Conference on Software Engineering : May 17-21, 1993, Baltimore, Maryland by International Conference on Software Engineering( Book )
8 editions published between 1993 and 2002 in English and held by 71 libraries worldwide
Second International Conference on the Software Process : continuous software process improvement, February 25-26, 1993, Berlin, Germany by International Conference on the Software Process( Book )
4 editions published between 1993 and 2002 in English and held by 60 libraries worldwide
Proceedings, 16th International Conference on Software Engineering : May 16-21, 1994, Sorrento, Italy by Bruno Fadini( Book )
5 editions published between 1994 and 2002 in English and held by 59 libraries worldwide
Automated software engineering : 12th IEEE international conference : proceedings, November 1-5, 1997, Incline Village, Nevada, USA by IEEE International Automated Software Engineering Conference( Book )
4 editions published between 1997 and 2000 in English and held by 58 libraries worldwide
Future of Software Engineering : FoSE 2007 : 23-25 May 2007, Minneapolis, Minnesota by Future of Software Engineering( Book )
7 editions published in 2007 in English and held by 58 libraries worldwide
Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy by International Workshop on Software Specification and Design( Book )
5 editions published in 1991 in English and held by 55 libraries worldwide
Proceedings of the Seventh International Workshop on Software Specification and Design : December 6-7, 1993, Redondo Beach, California by International Workshop on Software Specification and Design( Book )
4 editions published in 1993 in English and held by 51 libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
SIGSOFT
Languages
English (127)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.