scientific article; zbMATH DE number 1304369

MaRDI QIDQ4251102zbMATH OpenFDO

Authors Sriram Sankar

Publication date 17 June 1999

zbMATH Keywords

Javametamata toolsuiteMetamata Toolsuite

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• scientific article; zbMATH DE number 1706328
• Publication:4934522
• Object organisation in software environments for formal methods
• scientific article; zbMATH DE number 2079813

Cited in

(8)

• A reliability assessment tool for distributed software development environment based on Java and J/Link
• A framework and tool-support for reengineering software development methods
• scientific article; zbMATH DE number 1955931 (Why is no real title available?)
• scientific article; zbMATH DE number 2011481 (Why is no real title available?)
• scientific article; zbMATH DE number 2079813 (Why is no real title available?)
• scientific article; zbMATH DE number 2087852 (Why is no real title available?)
• scientific article; zbMATH DE number 2090139 (Why is no real title available?)
• scientific article; zbMATH DE number 1390241 (Why is no real title available?)

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 Q4251102)