WorldCat Identities

ACM Sigsoft

Overview
Works: 2,626 works in 4,408 publications in 1 language and 75,244 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Sponsor, Other, Publisher, Organizer of meeting, Editor
Classifications: QA76.6, 005.1
Publication Timeline
.
Most widely held works by ACM Sigsoft
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering( )

in 3 languages and held by 1,007 WorldCat member libraries worldwide

Proceedings by ACM Sigsoft( )

in English and held by 716 WorldCat member libraries worldwide

Proceedings : 29th International Conference on Software Engineering : ICSE 2007 : 20-26 May 2007, Minneapolis, Minnesota by International Conference on Software Engineering( )

7 editions published in 2007 in English and held by 508 WorldCat member libraries worldwide

Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 by Reidar Conradi( Book )

5 editions published in 1986 in English and held by 379 WorldCat member libraries worldwide

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings by International SPIN Workshop( Book )

5 editions published in 2001 in English and held by 353 WorldCat member 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
Future of Software Engineering : FoSE 2007 : 23-25 May 2007, Minneapolis, Minnesota by Future of Software Engineering( )

9 editions published in 2007 in English and held by 309 WorldCat member libraries worldwide

Proceedings of the 1999 International Conference on Software Engineering : ICSE 99 : May 16-22, 1999, Los Angeles, California, USA by 1999, Los Angeles, Calif.) International Conference on Software Engineering (21( )

9 editions published between 1999 and 2002 in English and held by 305 WorldCat member 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( )

5 editions published between 1988 and 2000 in English and held by 292 WorldCat member 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( )

4 editions published between 1997 and 2001 in English and held by 291 WorldCat member 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( )

3 editions published in 1994 in English and held by 290 WorldCat member 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( )

3 editions published in 1997 in English and held by 288 WorldCat member libraries worldwide

Proceedings of the ... ACM-IEEE International Symposium on Empirical Software Engineering by International Symposium on Empirical Software Engineering( )

in English and held by 281 WorldCat member libraries worldwide

IEEE/ACM International Conference on Automated Software Engineering : [proceedings] by IEEE/ACM International Conference on Automated Software Engineering( )

in English and held by 280 WorldCat member 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( )

5 editions published between 1993 and 2002 in English and held by 273 WorldCat member libraries worldwide

Proceedings : Working Conference on Reverse Engineering, May 21-23, 1993, Baltimore, Maryland by Working Conference on Reverse Engineering( )

4 editions published in 1993 in English and held by 272 WorldCat member 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( )

3 editions published between 1997 and 2000 in English and held by 272 WorldCat member libraries worldwide

Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada by International Conference on Software Engineering( )

2 editions published in 2001 in English and held by 271 WorldCat member libraries worldwide

Proceedings : Fifth IEEE International Symposium on Requirements Engineering : August 27-31, 2001, Royal York Hotel, Toronto, Canada by IEEE International Symposium on Requirements Engineering( )

4 editions published in 2001 in English and held by 269 WorldCat member libraries worldwide

Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy by Jean Pierre Finance( )

7 editions published in 1991 in English and held by 269 WorldCat member 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( )

2 editions published in 2000 in English and held by 268 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.47 for Proceeding ... to 0.71 for Advanced p ...)

Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Covers
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedingsProceedings of the 1999 International Conference on Software Engineering : ICSE 99 : May 16-22, 1999, Los Angeles, California, USASecond International Workshop on Software Engineering for Parallel and Distributed Systems : May 17-18, 1997, Boston, MA, USAProceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, CanadaProceedings : Fifth IEEE International Symposium on Requirements Engineering : August 27-31, 2001, Royal York Hotel, Toronto, CanadaProceedings of the 2000 International Conference on Software Engineering : ICSE 2000, the new millennium : June 4-11, 2000, Limerick, Ireland
Alternative Names

controlled identitySicsoft

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 (133)