Papers on "Formal and Informal Software Development Techniques" and similar term paper topics
Paper #003279 ::
Formal and Informal Software Development Techniques
Buy and instantly download this paper now
Compares and contrasts the use of formal methods and informal methods within the software process.
Written in 2001; 2,535 words; 8 sources;
$ 76.95
Paper Summary:
This paper investigates the role of formal methods (such as Z, Object-Z, VDM, B) within the software process and compares these to less formal methods such as natural language specifications and semi-formal methods like UML/Fusion. The complexities of formal methods are weighed against the software quality benefits often achieved through their use. Overall cost-effectiveness of both methods are discussed, as well as situations where formal methods may not be required (non-critical applications, rapid prototyping).
From the Paper:
"While it is clear that both formal and informal methods have their own inherent benefits and shortfalls, it seems as though formal methods are the best option if software quality and overall cost-effectiveness are to be maximised. With increased tool support and method standardisation, barring personal preference, there are few reasons why a formal approach should not be implemented. Increased acceptance of formal methods would most likely lead to higher quality software due to the more complete and precise specification that mathematical notations allow. While the initial costs experienced in the early stages of the development process may be high, these become less important as the benefits trickle their way through the software development process."
Tags:
automated design development formal method object requirement specification testing vdm verification vienna
More papers on "Formal and Informal Software Development Techniques"
-
Paper #066729 :: Informal vs. Formal Communication (
4,634 words; 27 sources; MLA )
-
Paper #089930 :: Free Software and Open Source Software (
675 words; 3 sources; )
-
Paper #048835 :: Engineering Building Techniques (
4,564 words; 17 sources; MLA )
-
Paper #101038 :: Web and Document Design Software (
1,845 words; 8 sources; APA )
-
Paper #029774 :: Open Source Software (
3,388 words; 23 sources; MLA )
About AcaDemon
We have thousands of high-quality term papers, research papers, essays, book reports and dissertations on every topic. At AcaDemon, you can download those term papers to help you write yours! You can be sure that the term paper, essay, book report or research paper, you download are top-quality, competitively priced and high-level work.
 Look for more research papers, essays and book reports on
Formal and Informal Software Development Techniques
|
If you can't find your topic here, try another search
or try our affordable, unique custom paper alternative
Custom Research Services include:
- Papers written from scratch, according to your specifications.
Every paper is UNIQUE - Guaranteed
- Professional, top-notch writers
- All topics covered
- Any deadline
- Your satisfaction guaranteed
Place a Custom Research order now
Find out more about Custom Research
|
|
|
