Modeling Software with Finite State Machines: A Practical Approach

Mã QR

Modeling Software with Finite State Machines: A Practical Approach

Modeling Software with Finite State Machines: A Practical Approach explains how to apply finite state machines to software development. It provides a critical analysis of using finite state machines as a foundation for executable specifications to reduce software development effort and improve quali...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	CRC Press 2009
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1469
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Test selection for hierarchical and communicating finite state machines /
Bỡi: Ipate, Florentin.

Logic Synthesis for Finite State Machines Based on Linear Chains of States. 1st ed. 2018
Bỡi: Barkalov, Alexander, et al.
Được phát hành: (2020)

How to Engineer Software - A Model-Based Approach
Bỡi: Tockey
Được phát hành: (2020)

The Art and Science of Rotating Field Machines Design: A Practical Approach
Bỡi: Ostović, Vlado
Được phát hành: (2020)

An Approach to Modelling Software Evolution Processes
Bỡi: Li, Tong
Được phát hành: (2020)

The finite element method : A practical course
Bỡi: Liu, G. R
Được phát hành: (2014)

Alternating Current Multi-Circuit Electric Machines (A New Approach to the Steady-State Parameter Determination)
Bỡi: Asanbayev, Valentin
Được phát hành: (2015)

A unified approach to the finite element method and error analysis procedures
Bỡi: Dow, John O
Được phát hành: (1999)

Second Order PDE's in Finite and Infinite Dimension A Probabilistic Approach
Được phát hành: (2010)

Finite-Time Stability - An Input-Output Approach
Bỡi: Amato
Được phát hành: (2020)

Software Engineering: A Practitioner's Approach /
Bỡi: Pressman Roger S
Được phát hành: (2005)

Software Engineering: A Practitioner's Approach /
Bỡi: S. Pressman Roger
Được phát hành: (2005)

Software engineering: A practitioner's approach /
Bỡi: Pressman Roger S
Được phát hành: (2001)

Software engineering : A practitioner''s approach
Bỡi: Pressman, Roger S
Được phát hành: (2010)

Software engineering : a practitioner’s approach
Bỡi: Pressman, Roger S
Được phát hành: (2005)

Software engineering : a practitioner’s approach
Bỡi: Pressman, Roger S
Được phát hành: (2001)

Software engineering : a practitioner’s approach
Bỡi: Pressman, Roger S
Được phát hành: (2005)

State-Space Approaches for Modelling and Control in Financial Engineering
Bỡi: Rigatos, Gerasimos G.
Được phát hành: (2020)

Finite Model Theory and Its Applications
Bỡi: Grädel, Erich, et al.
Được phát hành: (2020)

Finite element modeling for stress analysis
Bỡi: Robert Davis Cook
Được phát hành: (1995)

Finite element analysis and approximations of a Ginzburg-Landau model of superconductivity /
Bỡi: Karamikhova, Rossitza.

Finite Element Modeling of Elastohydrodynamic Lubrication Problems
Bỡi: Habchi
Được phát hành: (2020)

Empirical Approach to Machine Learning
Bỡi: Angelov, Plamen P., et al.
Được phát hành: (2019)

Finite element modelling of composite materials and structures /
Được phát hành: (2000)

Essential Software Testing: A Use-Case Approach
Bỡi: Fournier, Greg
Được phát hành: (2009)

Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough
Bỡi: Gunjan, Vinit Kumar, et al.
Được phát hành: (2020)

Software Engineering: A Practitioner's Approach (Sách Photocopy) /
Bỡi: Pressman Roger S
Được phát hành: (2001)

Software Engineering: A Practitioner's Approach (Sách Photocopy) /
Bỡi: Pressman Roger S
Được phát hành: (2005)

Laws of Software Process: A New Model for the Production and Management of Software, The
Bỡi: G Armour, Phillip
Được phát hành: (2009)

Machine Learning for Dynamic Software Analysis: Potentials and Limits
Bỡi: Bennaceur, Amel, et al.
Được phát hành: (2020)

Abstract State Machines, B and Z
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Bỡi: Hähnle, Reiner, et al.
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Bỡi: Russo, Alessandra, et al.
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Bỡi: Fiadeiro, José, et al.
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Bỡi: Dwyer, Matthew B., et al.
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Được phát hành: (2020)

An Integrated Approach to Software Engineering
Bỡi: Jalote, Pankaj
Được phát hành: (2020)

Fundamental Approaches to Software Engineering
Được phát hành: (2020)

Formal Approaches to Software Testing
Được phát hành: (2020)