skip to content

ACM Sigsoft

Overview
Works: 1,816 works in 2,625 publications in 2 languages and 25,357 library holdings
Genres: Conference proceedings  Periodicals 
Roles: Other
Classifications: QA76.758, 005
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)( serial )
in 3 languages and held by 846 libraries worldwide
Proceedings by Conference on Artificial Intelligence Applications( serial )
in English and held by 546 libraries worldwide
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 by Reidar Conradi( Book )
4 editions published in 1986 in English and held by 266 libraries worldwide
Proceedings by International Conference on Software Engineering( file )
in English and No Linguistic Content and held by 252 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 247 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 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 238 libraries worldwide
International Conference on Automated Software Engineering (ASE) by IEEE International Automated Software Engineering Conference( file )
in English and held by 187 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( file )
8 editions published between 1999 and 2002 in English and held by 174 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( file )
5 editions published between 1997 and 2002 in English and held by 167 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( Computer File )
7 editions published between 2000 and 2002 in English and held by 164 libraries worldwide
Proceedings, 16th International Conference on Software Engineering May 16-21, 1994, Sorrento, Italy by International Conference on Software Engineering( file )
6 editions published between 1994 and 2002 in English and held by 162 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( file )
4 editions published in 1997 in English and held by 160 libraries worldwide
Proceedings : Fifth International Workshop on Software Specification and Design by International Workshop on Software Specification and Design( Book )
6 editions published in 1989 in English and held by 160 libraries worldwide
Future of Software Engineering FoSE 2007 : 23-25 May 2007, Minneapolis, Minnesota by FoSE 2007( file )
8 editions published in 2007 in English and held by 154 libraries worldwide
Proceedings of the ... International Workshop on Software and Performance : WOSP by International Workshop on Software and Performance( serial )
in English and held by 153 libraries worldwide
Proceedings of the ... ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE by ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering( serial )
in English and held by 151 libraries worldwide
17th International Conference on Software Engineering [April 23-30, 1995, Seattle, Washington, U.S.A. by International Conference on Software Engineering( file )
8 editions published in 1995 in English and French and held by 150 libraries worldwide
Proceedings of FMSP by Workshop on Formal Methods in Software Practice( serial )
in English and No Linguistic Content and held by 147 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( Book )
3 editions published in 2001 in English and held by 144 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( file )
4 editions published between 1997 and 2000 in English and held by 144 libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Associated Subjects
Alternative Names

controlled identity Sicsoft

ACM 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
SIGOFT (Special Interest Group on Software Engineering)
SIGSOFT
SIGSOFT Abkuerzung
Special Interest Group on Software Engineering
Special Interest Group on Software Engineering Association for Computing Machinery
Languages
English (113)
French (1)
Covers
Close Window

Please sign in to WorldCat 

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