Titre : |
High-Level System modeling : specification and design methodologies |
Type de document : |
texte imprimé |
Auteurs : |
Ronald Waxman, Auteur |
Editeur : |
Kluwer Academic Publishers |
ISBN/ISSN/EAN : |
978-0-7923-9660-4 |
Langues : |
Anglais (eng) |
Catégories : |
Informatique Informatique:Informatique, traitement des données Informatique:Informatique, traitement des données:Analyse, conception et évaluation des systèmes informatiques
|
Index. décimale : |
004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes |
Résumé : |
In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification. Such high-level models may deal with areas such as performance, reliability, availability, maintainability, and system safety. Abstract models also allow exploration of the hardware versus software design space in an incremental fashion as a fuller, detailed design unfolds, leaving behind the old practice of hardware-software binding too early in the design process. Such models may also allow the inclusion of non-functional aspects of design (e.g. space, power, heat) in a simulatable information model dealing with the system's operation. |
High-Level System modeling : specification and design methodologies [texte imprimé] / Ronald Waxman, Auteur . - [S.l.] : Kluwer Academic Publishers, [s.d.]. ISBN : 978-0-7923-9660-4 Langues : Anglais ( eng)
Catégories : |
Informatique Informatique:Informatique, traitement des données Informatique:Informatique, traitement des données:Analyse, conception et évaluation des systèmes informatiques
|
Index. décimale : |
004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes |
Résumé : |
In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification. Such high-level models may deal with areas such as performance, reliability, availability, maintainability, and system safety. Abstract models also allow exploration of the hardware versus software design space in an incremental fashion as a fuller, detailed design unfolds, leaving behind the old practice of hardware-software binding too early in the design process. Such models may also allow the inclusion of non-functional aspects of design (e.g. space, power, heat) in a simulatable information model dealing with the system's operation. |
|  |