Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Grimm, Christoph (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2004.
• Θέματα: Computer science.; Computer hardware.; Programming languages (Electronic computers).; Computers.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Computer Science.; Theory of Computation.; Circuits and Systems.; Computer Hardware.; Programming Languages, Compilers, Interpreters.; Computer-Aided Engineering (CAD, CAE) and Design.; Electrical Engineering.

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and...