Cargando…

Winter School on Abstract Software Specifications

Detalles Bibliográficos
Autor principal:	Bjørner, Dines
Lenguaje:	eng
Publicado:	Springer 1980
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/102203

Ejemplares similares

Winter School on Fractals
Publicado: (1987)

3rd International Symposium of VDM Europe
por: Hoare, Charles Antony Richard, et al.
Publicado: (1990)

Software specification methods
por: Habrias, Henri, et al.
Publicado: (2010)

Generating software from specifications
por: Kastens, Uwe, et al.
Publicado: (2007)

Mining software specifications: methodologies and applications
por: Lo, David
Publicado: (2011)

Winter USENIX Conference
por: Grob, Lori
Publicado: (1991)

6th International Workshop on Software Specification and Design
por: Collective
Publicado: (1991)

Planning smarter: creating blueprint-quality software specifications
por: Gill, Tyson
Publicado: (2002)

Winter USENIX Technical Conference
por: USENIX Association. Berkeley
Publicado: (1985)

Winter 1990 USENIX Conference
por: USENIX Association. Berkeley
Publicado: (1990)

Winter 1992 USENIX Conference
por: USENIX Association. Berkeley
Publicado: (1991)

Winter 1993 USENIX Conference
por: USENIX Association. Berkeley
Publicado: (1993)

Winter 1994 USENIX Conference
por: USENIX Association. Berkeley
Publicado: (1994)

Effective debugging: 66 specific ways to debug software and systems
por: Spinellis, Diomidis
Publicado: (2017)

Software requirements and specifications: a lexicon of practice, principles and prejudices
por: Jackson, Michael
Publicado: (1995)

Program development in Java: abstraction, specification, and object-oriented design
por: Liskov, Barbara, et al.
Publicado: (2001)

Software Metrics and Software Metrology
por: Abran, Alain
Publicado: (2010)

Software language engineering: creating domain-specific languages using metamodels
por: Kleppe, Anneke G
Publicado: (2009)

Effective software testing: 50 specific ways to improve your testing
por: Dustin, Elfriede
Publicado: (2002)

Software engineering: architecture-driven software development
por: Schmidt, Richard F
Publicado: (2013)

The software paradox: the rise and fall of the commercial software market
por: O'Grady, Stephen
Publicado: (2015)

Object-oriented software development: engineering software for Reuse
por: McGregor, John D, et al.
Publicado: (1992)

Surreptitious software: obfuscation, watermarking, and tamperproofing for software protection
por: Collberg, Christian, et al.
Publicado: (2010)

Growing software: proven strategies for managing software engineers
por: Testa, Louis
Publicado: (2009)

Return on software: maximizing the return on your software investment
por: Tockey, Steve
Publicado: (2005)

Software specification Overview for June 2003 version of P+M/Staff Monitoring Tool
por: Jonsson, P G, et al.
Publicado: (2003)

Software engineering
por: Subramanian, Chandramouli
Publicado: (2016)

Software engineering
por: Sommerville, Ian
Publicado: (2016)

Software engineering
por: Sommerville, Ian
Publicado: (2010)

Software requirements
por: Wiegers, Karl Eugene, et al.
Publicado: (2013)

Software/computing
por: Stickland, D P
Publicado: (1999)

Software engineering
por: Sommerville, Ian
Publicado: (1992)

Software management
por: Reifer, Donald J
Publicado: (1993)

Software agents
por: Bradshaw, Jeffrey M
Publicado: (1997)

Computer software
por: Scientific American. New York
Publicado: (1984)

Microcomputer software
por: Infotech International. Maidenhead
Publicado: (1979)

Software tools
por: Kernighan, Plauger, et al.
Publicado: (1976)

Software testing
por: Patton, Ron
Publicado: (2005)

Software requirements
por: Wiegers, Karl E
Publicado: (2003)

Software building
por: Dunlop, A N, et al.
Publicado: (2000)

Cannot write session to /tmp/vufind_sessions/sess_k8l1q014o7ugef3l6s6cd743q3