R. J. Wieringa and G. Saake, "A Formal Analysis of the Shlaer-Mellor Method: Towards a toolkit of Formal and Informal Requirements Specification Techniques", Requirements Engineering Journal 1996, vol. 1, pp. 106-131.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Can Intuition Become Rigorous? Foundations for UML.. - Alemán.. (Correct)
....State StateList) and pairwiseOrthogonal (S, StateList) Fig. 12. Equation to verify if the states in a list are pairwise orthogonal 5: Related work Early attempts were directed towards formalizing OO methodologies such as OMT, Shlaer Mellor and Fusion, by using LOTOS [4] 32] LCM and TROLL [33], and Z [13] respectively. More recently, some of the UML formal models have been proposed using a variety of formalisms such as graphs [14] mathematical theory of streams and stream processing functions (project SysLab [5] or the ODAL language, formalized in S calculus [26] All the above ....
R. J. Wieringa and G. Saake, "A Formal Analysis of the Shlaer-Mellor Method: Towards a toolkit of Formal and Informal Requirements Specification Techniques", Requirements Engineering Journal 1996, vol. 1, pp. 106-131.
Formalizing A Design Technique For Distributed Programs - Polman, van Steen, de Bruin (1997) (Correct)
....by means of middleware solutions such as CORBA [8] and DCOM [6] or advanced communication libraries like MPI [13] A research area related to ours is that of the objectoriented modeling techniques. Here also, work has been done on the formalization of graphical notations. For an overview, see [14]. 6 Conclusions and Future Work Using only about 20 transition rules, we have been able to formally define ADL d s communication semantics. Together, they form an implementation model, providing a minimal set of criteria to which implementations must conform. The maintained abstraction level has ....
R. Wieringa and G. Saake. A formal analysis of the ShlaerMellor method: towards a toolkit for formal and informal requirements specification techniques. Requirements Engineering, 1:106--131, 1996.
Using the Tools in TRADE, I: A Decision Support System for .. - van Vlijmen, Wieringa (1997) Self-citation (Wieringa) (Correct)
....Second, we discuss whether an algebraic specification may fit in a TRADE framework, as the means for further system decomposition, as a later stage, following a TRADE specification. TRADE is based upon an analysis of structured and object oriented software specification methods (Wieringa 1995, Wieringa Saake 1996, Wieringa 1996, Wieringa 1997a, Wieringa 1997b) An earlier version was known as MCM (Wieringa 1993) The current version has a preliminary definition (Wieringa 1997c) but will be defined more elaborately after a number of case studies, including this one, are finished. The rest of the paper is ....
....whether an algebraic specification may fit in a TRADE framework, as the means for further system decomposition, as a later stage, following a TRADE specification. TRADE is based upon an analysis of structured and object oriented software specification methods (Wieringa 1995, Wieringa Saake 1996, Wieringa 1996, Wieringa 1997a, Wieringa 1997b) An earlier version was known as MCM (Wieringa 1993) The current version has a preliminary definition (Wieringa 1997c) but will be defined more elaborately after a number of case studies, including this one, are finished. The rest of the paper is structured as ....
Wieringa, R. & Saake, G. (1996), `A formal analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques', Requirements Engineering 1, 106--131.
Formalizing the UML in a Systems Engineering Approach - Wieringa (1998) (2 citations) Self-citation (Wieringa) (Correct)
....for its use. A formal semantics can always be explained in informal terms. 1 For example, together with Gunter Saake I formalized parts of the Shlaer Mellor method and showed how the formalization can be used to make the method more precise and less redundant in its representation techniques [40]. Another example is the use of a formalization of object oriented conceptual models to derive a number of informal, simple and unambiguous guidelines for building conceptual database models [32] Users of the method and its notations need not be aware of the formal semantics in mathematical ....
R.J. Wieringa and G. Saake. A formal analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques. Requirements Engineering, 1:106--131, 1996. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/96-ShlaerMellorFormalization.ps.Z.
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