P. Alexander, "Re: FDL SLDL Workshop comments on "super-language"," Email, 12/31/98, 1998.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Models of Computation for Specification and Design Methodology.. - Janka (1999) (Correct)
....The best MoC for this specification domain is from the formal notation and hybrid domain (4.2.5) since such MoC s are the only ones that are capable of expressing (and therefore specifying) non functional parameters. Interesting semantics showing promise include VSPEC [1, 20 22] and ViewPoints [23 26]. Implementation may be possible with the Talaris framework, either explicitly or by extension. However, the exact MoC that would be best is an open issue and under investigation. 5 Implicit Framework MoC s As introduced in 2, sophisticated CAD tools have begun to appear to assist in the ....
P. Alexander, "Re: FDL SLDL Workshop comments on "super-language"," Email, 12/31/98, 1998.
Considering Models of Computation in Developing A New.. - Janka, Wills (1999) (Correct)
....None GEDAE SDF DF and or S R None RTExpress SDF CFSM None Talaris SDF DF and or S R None 6 Conclusion: Proposed Methodology It is clear that the implementation frameworks are not capable of covering the non performance constraints. In fact, general consensus is that there is no superlanguage [20] or all encompassing MoC to satisfy the entire specification and design spectrum [6] But it is still critical to cover all three specification domains with the specification and design methodology. Recall that a methodology is an intelligent composition of tools and rules for accomplishing the ....
P. Alexander, "Re: FDL SLDL Workshop comments on "super-language"," Email, 12/31/98, 1998.
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