skip to content

ACM Sigsoft

Overview
Works: 1,887 works in 3,176 publications in 2 languages and 42,818 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Sponsor, Other, Publisher, Editor, Organizer of meeting
Classifications: QA76.6, 004
Publication Timeline
Key
Publications about ACM Sigsoft
Publications by ACM Sigsoft
Most widely held works by ACM Sigsoft
Proceedings by Design Automation Workshop( serial )
in English and held by 898 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 254 libraries worldwide
Proceedings : ... annual Knowledge-based Software Engineering Conference by Knowledge-based Software Engineering Conference( file )
in English and held by 247 libraries worldwide
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings by Dragan Bošnački( Book )
3 editions published in 2001 in English and held by 196 libraries worldwide
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems
Proceedings : 29th International Conference on Software Engineering : ICSE 2007 : 20-26 May 2007, Minneapolis, Minnesota by International Conference on Software Engineering( Book )
14 editions published in 2007 in English and held by 96 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 )
9 editions published between 1988 and 2002 in English and held by 91 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
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 79 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 75 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 75 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 )
2 editions published in 1994 in English and held by 73 libraries worldwide
17th International Conference on Software Engineering : [April 23-30, 1995, Seattle, Washington, U.S.A. by Dewayne E Perry( Book )
10 editions published in 1995 in English and French and held by 71 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 68 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 66 libraries worldwide
Proceedings : Sixth Conference on Computer Applications in Radiology & Computer/Aided Analysis of Radiological Images by Euromicro( Book )
11 editions published between 1979 and 2007 in English and held by 62 libraries worldwide
Annotation
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 61 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 60 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 60 libraries worldwide
Proceedings of the 8th International Workshop on Software Specification and Design : March 22-23, 1996, Schloss Velen, Germany by International Workshop on Software Specification and Design( Book )
7 editions published between 1996 and 2002 in English and held by 35 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
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 (159)
French (1)
Covers
Close Window

Please sign in to WorldCat 

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