Search results for "Computer software -- Specifications" | NDL Search

Search results 17

Group by title

Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6405)

Microform図書

1999<YCA-C 13.58:6405>

National Diet Library

Subject HeadingComputer software -- Testing Computer software -- Specifications

Requirements engineering for software and systems : hbk 3rd ed

Paper図書

Phillip A. LaplanteCRC Pressc2018

Other Libraries in Japan

Subject Heading...Specifications Computer software -- Specifications Requirements engineering
Subject Heading (ID)...Specifications Computer software -- Specifications Requirements engineering

Specification of software systems 2nd ed

Paper図書

V.S. Alagar and K. PeriyasamySpringerc2011

Other Libraries in Japan

Subject HeadingSoftware engineering Computer software -- Specifications
Subject Heading (ID)Software engineering Computer software -- Specifications

Patterns for performance and operability : building and testing enterprise software

Paper図書

Chris Ford ... [et al.]Auerbach Publicationsc2008

Other Libraries in Japan

Subject HeadingComputer software -- Development Computer software -- Specifications Debugging in computer science
Subject Heading (ID)Computer software -- Development Computer software -- Specifications Debugging in computer science

Semantic integration of heterogeneous software specifications

Paper図書

Martin Große-RhodeSpringer2004

Other Libraries in Japan

Subject HeadingComputer software -- Development Computer software -- Specifications Computer science
Subject Heading (ID)Computer software -- Development Computer software -- Specifications Computer science

Specifying software : a hands-on introduction pb.

Paper図書

R.D. TennentCambridge University Press2002

Other Libraries in Japan

Subject HeadingComputer programming Computer software -- Specifications
Subject Heading (ID)Computer programming Computer software -- Specifications

Software specification methods : an overview using a case study

Paper図書

Marc Frappier and Henri Habrias (Eds.)Springerc2001

Other Libraries in Japan

Subject HeadingFormal methods (Computer science) Computer software -- Specifications
Subject Heading (ID)Formal methods (Computer science) Computer software -- Specifications

Specification of software systems

Paper図書

V.S. Alagar and K. PeriyasamySpringerc1998

Other Libraries in Japan

Subject HeadingSoftware engineering Computer software -- Specifications
Subject Heading (ID)Software engineering Computer software -- Specifications

Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, proceedings / edited by E. Knuth and E.J. Neuhold. (Lecture notes in computer science)

Paper図書

Springer-Verlag1983.<M15-A1477>

National Diet Library

Subject Heading...-- Congresses. Computer software -- Specifications -- Congresses. System design ...

Guide to software engineering standards and specifications

Paper図書

Stan Magee, Leonard L. TrippArtech Housec1997

Other Libraries in Japan

Subject HeadingSoftware engineering -- Standards Computer software -- Specifications
Subject Heading (ID)Software engineering -- Standards Computer software -- Specifications

Software requirements : styles and techniques

Paper図書

Soren LauesenAddison-Wesley2002

Other Libraries in Japan

Software specification : a comparison of formal methods : pbk.

Paper図書

by John D. Gannon, James M. Purtilo, Marvin V. ZelkowitzAblex Pub. Co.c1994

Other Libraries in Japan

Subject HeadingSoftware engineering Computer software -- Specifications
Subject Heading (ID)Software engineering Computer software -- Specifications

Proceedings : Ninth International Workshop on Software Specification and Design, April 16-18, 1998, Ise-Shima, Japan : micro.

Paper図書

sponsored by IEEE Computer Society Technical Council on Software Engineering ; in cooperation with ACM SIGSOFT, IPSJ SIGSE, JSSTIEEE Computer Societyc1998

Other Libraries in Japan

Subject HeadingComputer software -- Development -- Congresses Computer software -- Specifications -- Congresses
Subject Heading (ID)Computer software -- Development -- Congresses Computer software -- Specifications -- Congresses

Proceedings of the Seventh International Workshop on Software Specification and Design, December 6-7, 1993, Redondo Beach, California : paper : micro.

Paper図書

sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFTIEEE Computer Society Pressc1993

Other Libraries in Japan

Subject HeadingComputer software -- Development -- Congresses Computer software -- Specifications -- Congresses
Subject Heading (ID)Computer software -- Development -- Congresses Computer software -- Specifications -- Congresses

Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy : paper : micro. : case

Paper図書

[sponsored by IEEE Computer Society, ACM Sigsoft]IEEE Computer Society Pressc1991

Other Libraries in Japan

Subject HeadingComputer software -- Development -- Congresses Computer software -- Specifications -- Congresses
Subject Heading (ID)Computer software -- Development -- Congresses Computer software -- Specifications -- Congresses

Software specification techniques

Paper図書

[edited by] Narain Gehani, Andrew McGettrickAddison-Wesleyc1986

Other Libraries in Japan

Subject HeadingComputer software -- Specifications -- Addresses, essays, lecture...
Subject Heading (ID)Computer software -- Specifications -- Addresses, essays, lecture...

Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982 : proceedings : gw : us

Paper図書

edited by E. Knuth and E.J. NeuholdSpringer-Verlag1983

Other Libraries in Japan

Subject Heading... -- Congresses Computer software -- Specifications -- Congresses System design -...
Subject Heading (ID)... -- Congresses Computer software -- Specifications -- Congresses System design -...

Reached to the end of result.

RSS