MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Specifying and verifying software." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Formally analyzing software architectural specifications using SAM
by Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng — 2004 — Journal of Systems and Software
… the structure and model the behavior of software architectures while temporal logic is used to specify…
Cited by 1 (0 self) – Add To MetaCart

Behavior Verification of Hybrid Real-time Requirements
by Qualitative Formalism An, Jang-soo Lee, Sung-deok Cha
… in specifying and analyzing requirements of embedded real-time software, we use an electrical power system (EPS…
Add To MetaCart

Applying Formal Methods to a Telecommunications System in a Commercial Setting
by Andre Wong, Marsha Chechik — 1998 — In 11th International Conference on Software Engineering & its Applications
… community, formal methods (mathematically-based languages, techniques or tools for specifying and verifying…
Cited by 2 (0 self) – Add To MetaCart

Supporting Component-based Reuse in CARE
by David Hemer, Peter Lindsay — 2002 — PROCEEDINGS OF THE TWENTY-FIFTH AUSTRALASIAN COMPUTER SCIENCE CONFERENCE
… number of formal languages and toolsets exist for developing formally specified and verified software…
Cited by 2 (0 self) – Add To MetaCart

Specifying Verifying Concurrent Systems Using Z
by Andy S. Evans — 1994 — Proc. FME'94 Industrial Benefits of Formal Methods, volume 873 of Lecture Notes in Computer Science
… to be a powerful and usable notation for specifying and verifying software systems. Although it has been…
Cited by 9 (0 self) – Add To MetaCart

Program understanding as constraint satisfaction
by Steven Woods, Qiang Yang — 1995 — Journal of Automated Software Engineering
… and verifying software systems. In addition, Rich and Waters (1990, pp. 171–188) describe a cliché recognizer…
Cited by 12 (4 self) – Add To MetaCart

CHAPTER 3 Contents
by unknown authors
… formal methods, mathematically-based languages, techniques, and tools for specifying and verifying…
Add To MetaCart

Specification and Verification of Pipelining in the ARM2 RISC Microprocessor
by James K. Huggins, David Van Campenhout — 1997 — ACM Transactions on Design Automation of Electronic Systems
… and first proposed in [Gurevich 1988], is a simple yet powerful methodology for specifying and verifying…
Cited by 4 (1 self) – Add To MetaCart

Advanced Software Fault Tolerance Strategies for Mission Critical Spacecraft Applications
by For Nasa Ames, Richard Gilreath, Paul Porter, Charles Nagy
…, discrete mathematics, and machine-readable languages to specify and verify software. 2. The use…
Add To MetaCart

NS-01-4 Brinksma
by Tretmans Eds Fates', Copyright C, Jan Tretmans
… consuming. Formal methods are a way of specifying and verifying software systems by applying techniques from…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB