MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reasoning About Software." – sorted by Relevance.

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

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

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

ATOM

A calculus for reasoning about software composition
by Franz Achermann, Oscar Nierstrasz — 2005 — Theoretical Computer Science
…Abstract A Calculus for Reasoning about Software Composition Franz Achermann and Oscar Nierstrasz…
Cited by 4 (1 self) – Add To MetaCart

Better reasoning about software engineering activities
by Tim Menzies — 2001 — Proceedings 16 th International Conference on Automated Software Engineering
…ABSTRACT Better reasoning about software engineering activities Tim Menzies University…
Cited by 5 (1 self) – Add To MetaCart

Architectural Reasoning in ArchJava
by Jonathan Aldrich Craig, Craig Chambers — 2002 — In Proceedings of the 16th European Conference on Object-Oriented Programming
… is a crucial part of the specification of component-based systems. Reasoning about software…
Add To MetaCart

Specifying crosscutting requirements concerns
by Geri Georg, Raghu Reddy, Robert France — 2004 — In Proceedings of the International Conference on the UML
… systems. Difficulties arise from the need to: locate related requirements, reason about the software…
Cited by 5 (3 self) – Add To MetaCart

Formal software analysis : Emerging trends in software model checking
by Matthew B. Dwyer, John Hatcliff Robby — 2007 — In [19
…-founded automated technique for reasoning about the semantics of software with respect to a precise specification…
Cited by 4 (0 self) – Add To MetaCart

UML-based Alias Control
by Yin Liu, Ana Milanova
… and can help support effective reasoning about software quality and software security. 1. INTRODUCTION…
Cited by 1 (1 self) – Add To MetaCart

Analyzing the business of software: A modelling technique for software supply networks
by Slinger Jansen, Anthony Finkelstein, Sjaak Brinkkemper — 2007 — In Caise Forum at the International Conference on Advanced Information Systems Engineering
… technique for representing and reasoning about software supply networks. Modelling software supply networks…
Cited by 1 (0 self) – Add To MetaCart

Equational Specifications: Design, Implementation, and Reasoning
by S. Antoy, P. Forcheri, J. Gannon, M. T. Molfino, Consiglio Nazionale Delle Ricerche, Genova Italy
… be used to specify, implement, and reason about software. We discuss how to automate these tasks…
Cited by 1 (1 self) – Add To MetaCart

Software Architectural Transformation
by Jeromy Carrire Steven — 1999
…Abstract Software architecture, as a vehicle for communication and reasoning about software…
Add To MetaCart

Formalising Engineering Judgement on Software Dependability via Belief Networks
by Kemal A. Delic, Franco Mazzanti, Lorenzo Strigini — 1997 — Proc. DCCA'97 (Sixth IFIP International Working Conference on Dependable Computing for Critical Applications) GarmischPartenkirchen
…@(email omitted); Abstract We present the use of Bayesian belief networks to formalise reasoning about software…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB