La vérification de conformité architecturale (en anglais, architecture conformance checking) regroupe l'ensemble des vérifications statiques et dynamiques d'une implémentation d'un logiciel à partir de son architecture. Un humain peut détecter visuellement des violations en comparant deux modèles représentant une architecture. Ce procédé n'est pas sans faille puisqu'il peut nécessiter une grande concentration, une certaine difficulté et impliquer des erreurs en fonction de la complexité du modèle. Le modèle peut être constitué de multiples vues augmentant sa complexité. La vérification de conformité automatisée (entendre par là, une vérification informatique) est un choix préférable dans ce genre de cas.

Property Value
dbo:abstract
  • La vérification de conformité architecturale (en anglais, architecture conformance checking) regroupe l'ensemble des vérifications statiques et dynamiques d'une implémentation d'un logiciel à partir de son architecture. Un humain peut détecter visuellement des violations en comparant deux modèles représentant une architecture. Ce procédé n'est pas sans faille puisqu'il peut nécessiter une grande concentration, une certaine difficulté et impliquer des erreurs en fonction de la complexité du modèle. Le modèle peut être constitué de multiples vues augmentant sa complexité. La vérification de conformité automatisée (entendre par là, une vérification informatique) est un choix préférable dans ce genre de cas. (fr)
  • La vérification de conformité architecturale (en anglais, architecture conformance checking) regroupe l'ensemble des vérifications statiques et dynamiques d'une implémentation d'un logiciel à partir de son architecture. Un humain peut détecter visuellement des violations en comparant deux modèles représentant une architecture. Ce procédé n'est pas sans faille puisqu'il peut nécessiter une grande concentration, une certaine difficulté et impliquer des erreurs en fonction de la complexité du modèle. Le modèle peut être constitué de multiples vues augmentant sa complexité. La vérification de conformité automatisée (entendre par là, une vérification informatique) est un choix préférable dans ce genre de cas. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 7735325 (xsd:integer)
dbo:wikiPageLength
  • 31488 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 178722081 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:booktitle
  • 20113 (xsd:integer)
  • Proceedings of the 24th International Conference on Software Engineering (fr)
  • Software Architecture (fr)
  • The Working IEEE/IFIP Conference on Software Architecture, 2007. WICSA '07 (fr)
  • Companion of the 30th international conference on Software engineering (fr)
prop-fr:chapterurl
prop-fr:conference
  • 20113 (xsd:integer)
  • The Working IEEE/IFIP Conference on Software Architecture, 2007. WICSA '07 (fr)
prop-fr:consultéLe
  • 2013-10-22 (xsd:date)
  • 2013-11-05 (xsd:date)
  • 2013-11-18 (xsd:date)
prop-fr:date
  • 2002 (xsd:integer)
  • 2007 (xsd:integer)
  • 2008 (xsd:integer)
  • 2011 (xsd:integer)
  • 2012 (xsd:integer)
  • 2013-01-01 (xsd:date)
prop-fr:doi
  • 10.100700 (xsd:double)
  • 10.101600 (xsd:double)
  • 10.110900 (xsd:double)
  • 10.114500 (xsd:double)
prop-fr:editors
  • Khalil Drira (fr)
  • Khalil Drira (fr)
prop-fr:id
  • ArchJava2002 (fr)
  • Card2013 (fr)
  • Comparison2007 (fr)
  • Ensuring2008 (fr)
  • ErosionSurvey2012 (fr)
  • PandArch2013 (fr)
  • RuntimeModelChecker2011 (fr)
  • Save2008 (fr)
  • ArchJava2002 (fr)
  • Card2013 (fr)
  • Comparison2007 (fr)
  • Ensuring2008 (fr)
  • ErosionSurvey2012 (fr)
  • PandArch2013 (fr)
  • RuntimeModelChecker2011 (fr)
  • Save2008 (fr)
prop-fr:isbn
  • 1 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:issn
  • 18 (xsd:integer)
  • 164 (xsd:integer)
prop-fr:journal
  • Computer (fr)
  • Journal of Systems and Software (fr)
  • Computer (fr)
  • Journal of Systems and Software (fr)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:lieu
  • New York, NY, USA (fr)
  • New York, NY, USA (fr)
prop-fr:nom
  • Chambers (fr)
  • Yang (fr)
  • Aldrich (fr)
  • Notkin (fr)
  • Popescu (fr)
  • De Silva (fr)
  • de Silva (fr)
  • Knodel (fr)
  • Lindvall (fr)
  • Balasubramaniam (fr)
  • Dimech (fr)
  • Muthig (fr)
  • Medvidovic (fr)
  • N. Taylor (fr)
  • Oreizy (fr)
  • Chambers (fr)
  • Yang (fr)
  • Aldrich (fr)
  • Notkin (fr)
  • Popescu (fr)
  • De Silva (fr)
  • de Silva (fr)
  • Knodel (fr)
  • Lindvall (fr)
  • Balasubramaniam (fr)
  • Dimech (fr)
  • Muthig (fr)
  • Medvidovic (fr)
  • N. Taylor (fr)
  • Oreizy (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 6 (xsd:integer)
prop-fr:pages
  • 1 (xsd:integer)
  • 12 (xsd:integer)
  • 98 (xsd:integer)
  • 132 (xsd:integer)
  • 187 (xsd:integer)
  • 208 (xsd:integer)
  • 240 (xsd:integer)
  • 899 (xsd:integer)
prop-fr:prénom
  • Jonathan (fr)
  • M. (fr)
  • Jens (fr)
  • Daniel (fr)
  • David (fr)
  • Richard (fr)
  • Claire (fr)
  • Nenad (fr)
  • Hongwei (fr)
  • Craig (fr)
  • Dirk (fr)
  • Dharini (fr)
  • Lakshitha (fr)
  • Peyman (fr)
  • Jonathan (fr)
  • M. (fr)
  • Jens (fr)
  • Daniel (fr)
  • David (fr)
  • Richard (fr)
  • Claire (fr)
  • Nenad (fr)
  • Hongwei (fr)
  • Craig (fr)
  • Dirk (fr)
  • Dharini (fr)
  • Lakshitha (fr)
  • Peyman (fr)
prop-fr:périodique
  • Computer (fr)
  • Journal of Systems and Software (fr)
  • Software Architecture (fr)
  • IEEE Concurrency (fr)
  • Intelligent Systems and Applications , 2011 3rd International Workshop (fr)
  • ICSE '02 Proceedings of the 24th International Conference (fr)
  • ICSE Companion '08 Companion of the 30th international (fr)
  • Software Architecture, 2007. WICSA '07. The Working IEEE/IFIP Conference (fr)
  • Computer (fr)
  • Journal of Systems and Software (fr)
  • Software Architecture (fr)
  • IEEE Concurrency (fr)
  • Intelligent Systems and Applications , 2011 3rd International Workshop (fr)
  • ICSE '02 Proceedings of the 24th International Conference (fr)
  • ICSE Companion '08 Companion of the 30th international (fr)
  • Software Architecture, 2007. WICSA '07. The Working IEEE/IFIP Conference (fr)
prop-fr:series
  • Lecture Notes in Computer Science (fr)
  • ICSE '02 (fr)
  • ICSE Companion '08 (fr)
  • Lecture Notes in Computer Science (fr)
  • ICSE '02 (fr)
  • ICSE Companion '08 (fr)
prop-fr:titre
  • Maintaining Architectural Conformance during Software Development: A Practical Approach (fr)
  • Controlling software architecture erosion: A survey (fr)
  • Bridging the Software Architecture Gap (fr)
  • A Comparison of Static Architecture Compliance Checking Approaches (fr)
  • ArchJava: Connecting Software Architecture to Implementation (fr)
  • Ensuring Architectural Conformance in Message-Based Systems (fr)
  • A Runtime Model Checker for Dynamic Software Based on Aspect-Oriented Programming (fr)
  • PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (fr)
  • Runtime software adaptation: framework, approaches, and styles (fr)
  • Maintaining Architectural Conformance during Software Development: A Practical Approach (fr)
  • Controlling software architecture erosion: A survey (fr)
  • Bridging the Software Architecture Gap (fr)
  • A Comparison of Static Architecture Compliance Checking Approaches (fr)
  • ArchJava: Connecting Software Architecture to Implementation (fr)
  • Ensuring Architectural Conformance in Message-Based Systems (fr)
  • A Runtime Model Checker for Dynamic Software Based on Aspect-Oriented Programming (fr)
  • PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (fr)
  • Runtime software adaptation: framework, approaches, and styles (fr)
prop-fr:url
prop-fr:volume
  • 41 (xsd:integer)
  • 85 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Springer Berlin Heidelberg (fr)
  • Springer Berlin Heidelberg (fr)
dct:subject
rdfs:comment
  • La vérification de conformité architecturale (en anglais, architecture conformance checking) regroupe l'ensemble des vérifications statiques et dynamiques d'une implémentation d'un logiciel à partir de son architecture. Un humain peut détecter visuellement des violations en comparant deux modèles représentant une architecture. Ce procédé n'est pas sans faille puisqu'il peut nécessiter une grande concentration, une certaine difficulté et impliquer des erreurs en fonction de la complexité du modèle. Le modèle peut être constitué de multiples vues augmentant sa complexité. La vérification de conformité automatisée (entendre par là, une vérification informatique) est un choix préférable dans ce genre de cas. (fr)
  • La vérification de conformité architecturale (en anglais, architecture conformance checking) regroupe l'ensemble des vérifications statiques et dynamiques d'une implémentation d'un logiciel à partir de son architecture. Un humain peut détecter visuellement des violations en comparant deux modèles représentant une architecture. Ce procédé n'est pas sans faille puisqu'il peut nécessiter une grande concentration, une certaine difficulté et impliquer des erreurs en fonction de la complexité du modèle. Le modèle peut être constitué de multiples vues augmentant sa complexité. La vérification de conformité automatisée (entendre par là, une vérification informatique) est un choix préférable dans ce genre de cas. (fr)
rdfs:label
  • Vérification de conformité architecturale (fr)
  • Vérification de conformité architecturale (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is oa:hasTarget of
is foaf:primaryTopic of
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy