scientific article; zbMATH DE number 2040574

MaRDI QIDQ4449588zbMATH OpenFDO

Authors Torsten Nelson, Paulo S. C. Alencar, Donald D. Cowan

Publication date 11 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2192/21920153.htm

Mathematics Subject Classification ID

Theory of software (68N99) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Extending the object model to provide explicit support for crosscutting concerns
• scientific article; zbMATH DE number 2018589
• KeY: A Formal Method for Object-Oriented Systems
• scientific article; zbMATH DE number 2000451
• scientific article; zbMATH DE number 1931785

Cited in

(5)

• Analysis of Crosscutting in Early Software Development Phases Based on Traceability
• scientific article; zbMATH DE number 2000451 (Why is no real title available?)
• scientific article; zbMATH DE number 2018589 (Why is no real title available?)
• scientific article; zbMATH DE number 2040578 (Why is no real title available?)
• Extending the object model to provide explicit support for crosscutting concerns

Describes a project that uses

Uses Software

• Alcoa

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449588)