Abstract
We study different techniques by which formal methods can be applied within real software development environments for Java. We use the Metamata Toolsuite (our software development environment for Java) to experiment with these techniques. The goal is to improve the value of these environments from the point of view of a customer. Essentially, this means that the formal methods considered must be made extremely practical, while providing significant value for the average Java developer. We describe various kinds of formal methods we have defined and experimented with so far. One of our goals is to create an interest in formal methods enthusiasts to develop more such practical formal methods that can be made available to Java developers not conversant with this field.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
Sankar, S. (1999). Tools for Integrating Formal Methods into the Java Software Development Process (An Extended Abstract). In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive