skip to content

ACM Sigsoft

Overview
Works: 2,177 works in 3,967 publications in 2 languages and 48,981 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Sponsor, Other, Publisher, Editor, Organizer of meeting
Publication Timeline
Key
Publications about ACM Sigsoft
Publications by ACM Sigsoft
Most widely held works by ACM Sigsoft
Proceedings by International Conference on Software Engineering( serial )
in English and held by 422 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 259 libraries worldwide
Proceedings : ... annual Knowledge-based Software Engineering Conference by Knowledge-based Software Engineering Conference( file )
in English and held by 254 libraries worldwide
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 by Reidar Conradi( Book )
6 editions published in 1986 in English and held by 247 libraries worldwide
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings by Matthew Dwyer( Book )
5 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 : 29th International Conference on Software Engineering : ICSE 2007 companion volume : 20-26 May 2007, Minneapolis, Minnesota by International Conference on Software Engineering( Book )
11 editions published in 2007 in English and held by 93 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 )
10 editions published between 1999 and 2002 in English and held by 84 libraries worldwide
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 82 libraries worldwide
Second International Workshop on Software Engineering for Parallel and Distributed Systems : May 17-18, 1997, Boston, MA, USA by International Workshop on Software Engineering for Parallel and Distributed Systems( Book )
4 editions published in 1997 in English and held by 78 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 74 libraries worldwide
17th International Conference on Software Engineering : [April 23-30, 1995, Seattle, Washington, U.S.A. by Dewayne E Perry( Book )
11 editions published in 1995 in English and French and held by 74 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 )
6 editions published between 1997 and 2002 in English and held by 70 libraries worldwide
Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada by Hausi A Müller( Book )
3 editions published in 2001 in English and held by 70 libraries worldwide
Future of Software Engineering : FoSE 2007 : 23-25 May 2007, Minneapolis, Minnesota by FoSE 2007( Book )
9 editions published in 2007 in English and held by 68 libraries worldwide
Proceedings : Working Conference on Reverse Engineering, May 21-23, 1993, Baltimore, Maryland by Working Conference on Reverse Engineering( Book )
6 editions published between 1993 and 2002 in English and held by 68 libraries worldwide
Proceedings of the 2000 International Conference on Software Engineering : ICSE 2000, the new millennium : June 4-11, 2000, Limerick, Ireland by International Conference on Software Engineering( Book )
5 editions published between 2000 and 2002 in English and held by 65 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 61 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 )
6 editions published between 1993 and 2002 in English and held by 58 libraries worldwide
Proceedings, 16th International Conference on Software Engineering : May 16-21, 1994, Sorrento, Italy by Bruno Fadini( Book )
8 editions published between 1994 and 2002 in English and held by 57 libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names

controlled identity Sicsoft

A.C.M. S.I.G.S.O.F.T
ACM S.I.G.S.O.F.T
ACM SIGSOFT
ACM Special Interest Group on Software Engineering
ASM SIGSOFT.
Association for Computing Machinery (New York) SIGOFT
Association for Computing Machinery SIGSoft
Association for Computing Machinery Special Interest Group on Software Engineering
Association for Computing Machinery (U.S.) Sigsoft
Association for Computing Machinery (U.S.) Special Interest Group on Software Engineering
S.I.G.S.O.F.T
S.I.G.S.O.F.T. A.C.M
SIGOFT (Special Interest Group on Software Engineering)
Sigsoft
SIGSOFT ACM
Special Interest Group on Software Engineering
Special Interest Group on Software Engineering Association for Computing Machinery
Languages
English (145)
French (1)
Covers
Close Window

Please sign in to WorldCat 

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