Logo image
New search Researchers Research units
Sign in
SPECIFYING SOFTWARE ARCHITECTURAL CONNECTORS IN SAM
Journal article   Peer reviewed

SPECIFYING SOFTWARE ARCHITECTURAL CONNECTORS IN SAM

XUDONG HE and Y I Deng
International journal of software engineering and knowledge engineering, v 10(4), pp 411-431
Aug 2000

Abstract

temporal logic Software architecture Petri nets formal methods

Metrics

Details

InCites Highlights

Data related to this publication, from InCites Benchmarking & Analytics tool:

Web of Science research areas
Computer Science, Artificial Intelligence
Computer Science, Software Engineering
Engineering, Electrical & Electronic
Logo image