scientific article; zbMATH DE number 1304369

zbMATH Open0928.68021MaRDI QIDQ4251102FDOQ4251102

Sriram Sankar

Publication date: 17 June 1999

Title of this publication is not available (Why is that?)

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)
• Publication:2771738
• Publication:4934522
• Object organisation in software environments for formal methods
• scientific article; zbMATH DE number 2079813

zbMATH Keywords

Javametamata toolsuiteMetamata Toolsuite

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (8)

• A reliability assessment tool for distributed software development environment based on Java and J/Link
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A framework and tool-support for reengineering software development methods

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)