by Jean-Michel Bergé, Jacques Rouillard
High-Level System Modeling: Specification Languages describes the state-of-the-art in specification formalisms in electronic design. The book provides an overview of object-oriented methodologies.…