Work

Formal specification and analysis of software architectures using the chemical abstract machine model

Year: 1995

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/32.385973

Authors: P. Inverardi, A.L. Wolf

Institutions: University of L'Aquila, University of Colorado Boulder

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2102296762

FWCI: 25.12

Cites: 13

Cited by: 243

Related to: 9