Name
Abstract | ||
|---|---|---|
The software development is facing increasingly stringent demands with regard to complexity, reliability and safety, especially in the areas of consumer electronics and in automotive, military and aerospace technology as well as in telecommunications and data communications. The stronger emphasis placed on safety-critical systems is being driven by the fact that the military and aerospace technology areas are growing as fields of application in nearly all areas of software development. Formal methods have long held the promise of providing a much-needed solid engineering foundation for the 'art' of programming computers. Formal specifications can be used to provide an unambiguous and precise supplement to natural language descriptions and can be rigorously validated and verified leading to the early detection of specification errors. This paper introduces an integrated formal framework for Eclipse platform in the development of software for safety critical systems to greatly improve the applicability of the Eclipse platform in these applications. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1109/IRI-05.2005.1506487 | IRI |
Keywords | Field | DocType |
military technology,aerospace technology,safety-critical systems,specification errors,eclipse platform,software development,formal specifications,integrated formal framework,safety-critical software,object-oriented system verification,natural language descriptions,formal specification,formal verification,object-oriented methods,natural language,formal method | Software engineering,Computer science,Design by contract,Formal specification,Formal methods,Software construction,Software verification and validation,Software development,Formal verification,Software verification | Conference |
ISBN | Citations | PageRank |
0-7803-9093-8 | 0 | 0.34 |
References | Authors | |
6 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jiang Guo | 1 | 19 | 6.33 |
| Yuehong Liao | 2 | 13 | 3.85 |
| Raj Pamula | 3 | 5 | 4.45 |