The RAISE specification language /

kod QR

The RAISE specification language /

Zapisane w:

Opis bibliograficzny
Korporacja:	RAISE Language Group.
Format:	Sách giấy
Wydane:	New York : Prentice Hall, 1992.
Seria:	BCS practitioner series
Hasła przedmiotowe:	Software engineering.
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Podobne zapisy

Domain-Specific Languages
Wydane: (2020)

Logics of Specification Languages
od: Bjørner, Dines, i wsp.
Wydane: (2020)

Advances in software engineering and knowledge engineering /
Wydane: (1993)

Tools for working with guidelines : annual meeting of the special interest group /
Wydane: (2000)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Wydane: (2001)

ZB 2005: Formal Specification and Development in Z and B
Wydane: (2020)

Semantics and Algebraic Specification
Wydane: (2020)

Software Language Engineering
Wydane: (2020)

Software Engineering: Specification, Implementation, Verification
od: Alagić, Suad
Wydane: (2020)

Transactions on Pattern Languages of Programming I
Wydane: (2020)

Software Languages
od: Lämmel, Ralf
Wydane: (2020)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Wydane: (2001)

Hudson continuous integration in practice /
od: Burns, Ed.
Wydane: (2014)

Advances in Design and Specification Languages for SoCs
od: Boulet, Pierre
Wydane: (2020)

Testing computer software /
od: Kaner, Cem.
Wydane: (1993)

Computer-aided specification techniques /
od: Demetrovics, János.
Wydane: (1985)

Coordination Models and Languages
od: Serugendo, Giovanna Di Marzo, i wsp.
Wydane: (2020)

Architecture Description Languages
Wydane: (2020)

Coordination Models and Languages
od: Jacquet, Jean-Marie, i wsp.
Wydane: (2020)

Embedded Systems Specification and Design Languages
od: Villar, Eugenio
Wydane: (2020)

Creating a database and specific software for state management
od: Le, Phuoc Phuc
Wydane: (2022)

Domain-specific application frameworks: Framworks experience by industry
Wydane: (1999)

Coordination Models and Languages
od: Lea, Doug, i wsp.
Wydane: (2020)

Coordination Models and Languages
Wydane: (2020)

Object-oriented and classical software engineering /
od: Schach, Stephen R.
Wydane: (2005)

Object-oriented and classical software engineering /
od: Schach, Stephen R.
Wydane: (2002)

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 /
Wydane: (2001)

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 /
Wydane: (2001)

Linux kernel programming : algorithms and structures of version 2.4 /
Wydane: (2002)

Advances in Design and Specification Languages for Embedded Systems
od: Huss, Sorin Alexander
Wydane: (2020)

Java programming for Android developers for dummies /
od: Burd, Barry,
Wydane: (2017)

Java programming for Android developers for dummies /
od: Burd, Barry,
Wydane: (2017)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
od: Khendek, Ferhat, i wsp.
Wydane: (2020)

Fundamental Approaches to Software Engineering
od: Gnesi, Stefania, i wsp.
Wydane: (2015)

Software engineering: A practitioner's approach /
od: Pressman Roger S
Wydane: (2001)

Programming Languages and Systems
od: Shao, Zhong
Wydane: (2020)

Database design, application development, and administration /
od: Mannino, Michael V.
Wydane: (2004)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Wydane: (2002)

Beginning iOS programming : building and deploying iOS applications /
od: Harris, Nick,
Wydane: (2014)

UML Modeling Languages and Applications
Wydane: (2020)