Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 672
Book Description
Air University Library Index to Military Periodicals
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 672
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 672
Book Description
Current Military Literature
Author:
Publisher:
ISBN:
Category : Armed Forces
Languages : en
Pages : 804
Book Description
Comment and abstracts & citations of important articles from international military and defence periodicals.
Publisher:
ISBN:
Category : Armed Forces
Languages : en
Pages : 804
Book Description
Comment and abstracts & citations of important articles from international military and defence periodicals.
Ada in Industry
Author: S. Heilbrunner
Publisher: CUP Archive
ISBN: 9780521363471
Category : Computers
Languages : en
Pages : 280
Book Description
Publisher: CUP Archive
ISBN: 9780521363471
Category : Computers
Languages : en
Pages : 280
Book Description
Integrated Project Support Environments
Author: Alan W. Brown
Publisher: Elsevier
ISBN: 1483288250
Category : Computers
Languages : en
Pages : 300
Book Description
A major part of software engineering developments involve the use of computing tools which facilitate the management, maintenance, security, and building of long-scale software engineer projects. Consequently, there have been a proliferation of CASE tools and IPSES. This book looks at IPSES in general and the ASPECT project in particular, providing design and implementation details, as well as locating ASPECT in IPSE developments. Survey of integrated project support environments for more efficient software engineering**Description of a large scale IPSE--ASPECT**Evaluation of formal methods in IPSE development (using the Z specification)
Publisher: Elsevier
ISBN: 1483288250
Category : Computers
Languages : en
Pages : 300
Book Description
A major part of software engineering developments involve the use of computing tools which facilitate the management, maintenance, security, and building of long-scale software engineer projects. Consequently, there have been a proliferation of CASE tools and IPSES. This book looks at IPSES in general and the ASPECT project in particular, providing design and implementation details, as well as locating ASPECT in IPSE developments. Survey of integrated project support environments for more efficient software engineering**Description of a large scale IPSE--ASPECT**Evaluation of formal methods in IPSE development (using the Z specification)
Asian Defence Journal
Author:
Publisher:
ISBN:
Category : Southeast Asia
Languages : en
Pages : 870
Book Description
Publisher:
ISBN:
Category : Southeast Asia
Languages : en
Pages : 870
Book Description
Information Processing
Author: International Federation for Information Processing
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 1234
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 1234
Book Description
Advances in Computers
Author:
Publisher: Academic Press
ISBN: 0080566596
Category : Computers
Languages : en
Pages : 495
Book Description
Advances in Computers
Publisher: Academic Press
ISBN: 0080566596
Category : Computers
Languages : en
Pages : 495
Book Description
Advances in Computers
MILCOMP 86
Author: Microwave Exhibitions and Publishers
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
International Aerospace Abstracts
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 726
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 726
Book Description
国立国会図書館所蔵科学技術関係欧文会議錄目錄
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1024
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1024
Book Description