Bibliographic Details
| Title: |
INTRODUCTION TO THE SPECIAL ISSUE. |
| Authors: |
Dillon, Laura K.1 dillon@cs.ucsb.edu, Sankar, Sriram2 sriram.sankar@sun.com |
| Source: |
IEEE Transactions on Software Engineering. May97, Vol. 23 Issue 5, p265-266. 2p. |
| Subjects: |
Formal methods (Computer science), Java programming language, Mathematics, Computer software development, Systems design |
| Abstract: |
Research in formal methods has been going on for more than 20 years in various areas such as mathematical verification, formal specification, program transformation, prototyping, and testing. Several flavours of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging. The term "formal methods" denotes software development and analysis activities that entail a degree of mathematical rigor. Effects of a person's training in formal methods show in that person's quality of software development. These effects are similar to those of solving hundreds of geometry and trigonometry problems in high school on a person's analytical abilities. Some examples of real-life software systems that have benefited from formal methods include the recent Java phenomenon. The security model imposed by web browsers prevent a downloaded Java applet from compromising one's system. Web browsers include a formal verifier that analyzes downloaded bytecode to prove that the bytecode is safe to use. |
| Database: |
Engineering Source |
