Roel Wieringa, Eric Dubois, Sander Huyts Faculty of Mathematics and...  Home/Search
Context Related
| cs.utwente.nl/pub/...7TradeAlbert.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wwwhome.cs.utwente.nl/~ro...paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logicbased specification language Albert II and show that this leads to a coherent... (Update)
Context of citations to this paper: More
.... been applied to the industrial production cell case [55] and in the Esprit project 2RARE to the specification of a system for video on demand [62]. Two other case studies are available on the web [51, 59] and several others are in preparation. Further validation will...
Cited by: More
Postmodern Software Design with NYAM: Not Yet Another Method - Wieringa (1998) (Correct)
Similar documents (at the sentence level):
34.8%: Integrating Semi-Formal and Formal Software Specification.. - Wieringa, Dubois (1998) (Correct)
Active bibliography (related documents): More All
0.5: Using the Tools in TRADE, I: A Decision Support System for .. - van Vlijmen, Wieringa (1997) (Correct)
0.5: Integrated Specification of Values, Objects and Processes for.. - Exte Nd Ed (Correct)
0.3: A Formal Analysis of the Shlaer-Mellor Method: Towards a.. - Wieringa, Saake (1997) (Correct)
Similar documents based on text: More All
0.5: Integrating Semiformal and Formal Methods in.. - Fensel, Landes.. (1994) (Correct)
0.5: Using a Formal Declarative Language for Specifying.. - Dubois, Petit (1995) (Correct)
0.4: Software Testing Strategies for Software Requirements and.. - Chantatub, Holcombe (1994) (Correct)
Related documents from co-citation: More All
2: Executable Object Modeling with Statecharts - Harel - 1996
BibTeX entry: (Update)
R.J. Wieringa, E. Dubois, and S. Huyts. Integrating semi-formal and formal requirements. In A. Oliv'e and J.A. Pastor, editors, Advanced Information Systems Engineering, pages 19--32. Springer, 1997. Lecture Notes in Computer Science 1250. ftp://ftp.cs.vu.nl/pub/roelw/97-TradeAlbert.ps.Z.ps.Z.. http://citeseer.ist.psu.edu/wieringa97integrating.html More
@inproceedings{ wieringa97integrating,
author = "Roel Wieringa and Eric Dubois and Sander Huyts",
title = "Integrating Semi-formal and Formal Requirements",
booktitle = "Conference on Advanced Information Systems Engineering",
pages = "19-32",
year = "1997",
url = "citeseer.ist.psu.edu/wieringa97integrating.html" }
Citations (may not include all citations):637 The entity-relationship model -- Toward a unified view of da.. (context) - Chen - 1976
542 Object-Oriented Software Engineering: A Use Case Driven Appr.. (context) - Jacobson, Christerson et al. - 1992
469 Object-Oriented Design with Applications (context) - Booch - 1994
235 Object-Oriented Development: The FUSION Method (context) - Coleman, Arnold et al. - 1994
194 the development of reactive systems (context) - Harel, Pnueli - 1985
112 System Development (context) - Jackson - 1983
75 Software Requirements: Objects (context) - Davis - 1993
70 The unified modeling language for object-oriented developmen.. (context) - Booch, Jacobson et al. - 1996
35 Software Requirements and Specifications: A lexicon of pract.. (context) - Jackson - 1995
35 Theories underlying requirements engineering: an overview of.. - Jarke, Bubenko et al. - 1993
31 Requirements Engineering: Frameworks for Understanding (context) - Wieringa - 1996
15 A formal requirements engineering method for real-time (context) - Dubois, Bois et al. - 1995
7 A logic to specify real-time object behaviour (context) - Bohm, Sernadas - 1993
6 Elicitating and formalising requirements for CIM information.. - Dubois, Bois et al. - 1993
4 Requirements Engineering: Semantic (context) - Wieringa - 1995
3 OBLOG Case V (context) - Software - 1995
2 Facult'es Universitaires NotreDame de la Paix (context) - Bois, Language - 1995
2 Advanced object-oriented requirement specification methods (context) - Wieringa
2 Requirements analysis of the VoD application using the tools.. (context) - Wieringa, Huyts - 1996
2 Yourdon PresPrentice Hall (context) - Analysis, Yourdon et al. - 1978
1 This article was processed using the L A T E X macro package.. (context) - Wirfs-Brock, Wilkerson et al. - 1990
1 Objectory: Robustness Analysis (context) - AB - 1995
1 DOORS Unix Reference Manual (context) - Systems, Ltd - 1995
1 Software system engineering (context) - Thayer - 1990
http://www.info.fundp.ac.be/
Documents on the same site (http://wwwhome.cs.utwente.nl/~roelw/paper.html): More
Combining Static and Dynamic Modelling Methods: A Comparison of.. - Wieringa (1996) (Correct)
Actor-Oriented Specification of Deontic Integrity Constraints - Wieringa, Meyer (1991) (Correct)
Applications of Deontic Logic in Computer Science: A Concise.. - Wieringa, Meyer (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC