WorldCat Identities

ACM Sigsoft

Overview
Works: 2,603 works in 4,293 publications in 1 language and 65,557 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Sponsor, Other, Publisher, Editor, Organizer of meeting
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,021 WorldCat member libraries worldwide

Proceedings by ACM Sigsoft( )

in English and held by 743 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 492 WorldCat member libraries worldwide

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 298 WorldCat member 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( )

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

6 editions published between 1988 and 2000 in English and held by 279 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 278 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 277 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 277 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 274 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 263 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 262 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( )

3 editions published in 2001 in English and held by 261 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 261 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( )

3 editions published in 2000 in English and held by 260 WorldCat member libraries worldwide

Proceedings : ... annual Knowledge-based Software Engineering Conference by Knowledge-based Software Engineering Conference( )

in English and held by 260 WorldCat member libraries worldwide

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

4 editions published in 2001 in English and held by 260 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
17th International Conference on Software Engineering : [April 23-30, 1995, Seattle, Washington, U.S.A. by International Conference on Software Engineering( )

7 editions published in 1995 in English and held by 258 WorldCat member libraries worldwide

Proceedings, 16th International Conference on Software Engineering : May 16-21, 1994, Sorrento, Italy by International Conference on Software Engineering( )

2 editions published in 1994 in English and held by 257 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.48 for Proceeding ... to 0.70 for Advanced p ...)

Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Covers
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986Second 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 of the 2000 International Conference on Software Engineering : ICSE 2000, the new millennium : June 4-11, 2000, Limerick, IrelandModel checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
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)