Logiciels -- Développement | Congrès
Resource Information
The concept Logiciels -- Développement | Congrès represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Logiciels -- Développement | Congrès
Resource Information
The concept Logiciels -- Développement | Congrès represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Logiciels -- Développement | Congrès
- Source
- ram
33 Items that share the Concept Logiciels -- Développement | Congrès
Context
Context of Logiciels -- Développement | CongrèsSubject of
- Algebraic methods : theory, tools, and applications
- Extreme programming and agile methods : XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 : proceedings
- FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
- FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
- FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
- FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
- FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
- Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
- Foundations of software science and computation structures : Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
- Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
- Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
- Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
- Object-technologies for advanced software : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 1996 : proceedings
- Proceedings 1995 Software Engineering Environments, April 5-7, 1995, Noordwijkerhout, the Netherlands
- Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
- Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
- Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
- Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings
- Software configuration management : ICSE '96 SCM-6 Workshop, Berlin, Germany, March 25-26, 1996 : selected papers
- Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings
- Software process technology : 6th European workshop, EWSPT '98 : Weybridge, UK, September 16-18, 1998 : proceedings
- Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings
- Software process technology : third European workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994 : proceedings
- Software system design methods : the challenge of advanced computing technology
- System configuration management : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings
- TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
- TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
- Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings
- Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
- Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
- Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
- UML 2001 : the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
- VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/9ZCDuO7Lia8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/9ZCDuO7Lia8/">Logiciels -- Développement | Congrès</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Logiciels -- Développement | Congrès
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/9ZCDuO7Lia8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/9ZCDuO7Lia8/">Logiciels -- Développement | Congrès</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
