MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Software engineering and formal methods." – sorted by Relevance.

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

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

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

ATOM

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System
by Jan Tretmans, Klaas Wijbrans, Michel Chaudron — 2001
…. Manufactured in The Netherlands. Software Engineering with Formal Methods: The Development of a Storm Surge…
Cited by 9 (3 self) – Add To MetaCart

Larch: Languages and tools for formal specification
by J. V. Guttag, J. J. Horning, Withs. J. Garl, K. D. Jones, A. Modet, J. M. Wing — 1993 — Texts and Monographs in Computer Science
… in undergraduate or basicgraduate courses in software engineering or formal methods. To make the book accessible…
Cited by 277 (9 self) – Add To MetaCart

Strategies and Analysis Techniques for Functional Program Optimization
by Informaticos Computacion, Jose Meseguer Urbana-champaign, Santiago Escobar Roman, Santiago Escobar Roman, Mara Alpuente Frasnedo, Mara Alpuente Frasnedo, Salvador Lucas Alba, Salvador Lucas Alba — 2003
… of the theory of programming and of its application in large-scale software engineering. Formal methods provide…
Add To MetaCart

Applications of Logic Programming in Software Engineering
by P. Ciancarini, G. Levi — 1995
…. Index Terms: Software Engineering, Formal Methods, Specification, Design, Testing, Logic Programming…
Add To MetaCart

An Example for the RAISE Development Method: University School Administration
by Nguyen Quoc Toan — 1996
… been there since 1961. He is interested in Software Engineering and formal methods for Software…
Add To MetaCart

Formal Methods: State of the Art and Future Directions
by Edmund M. Clarke, Jeannette M. Wing — 1996 — ACM Computing Surveys
… General Terms: Software engineering, formal methods, hardware verification Additional Key Words…
Cited by 304 (6 self) – Add To MetaCart

A Theory-Based Representation for Object-Oriented Domain Models
by Scott A. Deloach, Thomas C. Hartrum — 2000 — IEEE Transactions on Software Engineering
…: Software engineering, formal methods, domain models, transformation systems. i 1 INTRODUCTION…
Cited by 11 (4 self) – Add To MetaCart

Feature interaction: a critical review and considered forecast
by Muffy Calder, Mario Kolberg, Evan H. Magill B — 2003 — Computer Networks
… research trends: software engineering approaches, formal methods, and on line techniques. Then, the impact…
Cited by 53 (8 self) – Add To MetaCart

Mathematical Methods
by In System And, Manfred Broy — 1997
… the techniques and methods used in practice in software engineering and the formal techniques worked out…
Add To MetaCart

UML in Action: Integrating Formal Methods in Industrial Design Education
by Jun Hu, Philip Ross, Yuechen Qian
…,4,5,6]. In present-day software engineering, formal specification methods such as the Universal Modeling Language…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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