The RAISE specification language /

QR Kodea

The RAISE specification language /

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	RAISE Language Group.
Formatua:	Sách giấy
Argitaratua:	New York : Prentice Hall, 1992.
Saila:	BCS practitioner series
Gaiak:	Software engineering.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Domain-Specific Languages
Argitaratua: (2020)

Logics of Specification Languages
nork: Bjørner, Dines, et al.
Argitaratua: (2020)

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

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

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

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

Semantics and Algebraic Specification
Argitaratua: (2020)

Software Language Engineering
Argitaratua: (2020)

Software Engineering: Specification, Implementation, Verification
nork: Alagić, Suad
Argitaratua: (2020)

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

Software Languages
nork: Lämmel, Ralf
Argitaratua: (2020)

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

Hudson continuous integration in practice /
nork: Burns, Ed.
Argitaratua: (2014)

Advances in Design and Specification Languages for SoCs
nork: Boulet, Pierre
Argitaratua: (2020)

Testing computer software /
nork: Kaner, Cem.
Argitaratua: (1993)

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

Coordination Models and Languages
nork: Serugendo, Giovanna Di Marzo, et al.
Argitaratua: (2020)

Architecture Description Languages
Argitaratua: (2020)

Coordination Models and Languages
nork: Jacquet, Jean-Marie, et al.
Argitaratua: (2020)

Embedded Systems Specification and Design Languages
nork: Villar, Eugenio
Argitaratua: (2020)

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

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

Coordination Models and Languages
nork: Lea, Doug, et al.
Argitaratua: (2020)

Coordination Models and Languages
Argitaratua: (2020)

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

Object-oriented and classical software engineering /
nork: Schach, Stephen R.
Argitaratua: (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 /
Argitaratua: (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 /
Argitaratua: (2001)

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

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

Java programming for Android developers for dummies /
nork: Burd, Barry,
Argitaratua: (2017)

Java programming for Android developers for dummies /
nork: Burd, Barry,
Argitaratua: (2017)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
nork: Khendek, Ferhat, et al.
Argitaratua: (2020)

Fundamental Approaches to Software Engineering
nork: Gnesi, Stefania, et al.
Argitaratua: (2015)

Software engineering: A practitioner's approach /
nork: Pressman Roger S
Argitaratua: (2001)

Programming Languages and Systems
nork: Shao, Zhong
Argitaratua: (2020)

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

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

Beginning iOS programming : building and deploying iOS applications /
nork: Harris, Nick,
Argitaratua: (2014)

UML Modeling Languages and Applications
Argitaratua: (2020)