MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reusing formal models." – sorted by Relevance.

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

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

6 documents found, showing 1 through 6.

ATOM

Reuse of a Formal Model for Requirements Validation
by Febr Ua Ry
…. . Reuse of a Formal Model for Requirements Validation February 28, 1997 Abstract This paper…
Add To MetaCart

Reuse of a Formal Model for Requirements Validation
by Robyn R. Lutz — 1997 — In Fourth NASA Langley Formal Methods Workshop. NASA
…Reuse of a Formal Model for Requirements Validation Robyn R. Lutz rlutz@(email omitted); Jet…
Cited by 6 (0 self) – Add To MetaCart

Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes
by Jeffrey M. Thompson, Mats P. E. Heimdahl, Debra M. Erickson — 2000 — In Proc. 5th NASA Langley Formal Methods Workshop
…. Formal modeling is, however, a costly and time consuming process and if one could reuse the formal models…
Cited by 2 (0 self) – Add To MetaCart

Adaptation of Coloured Petri Nets models of software artifacts for reuse
by Kyller Costa Gorgônio, Angelo Perkusich — 2002 — In Gacek, C., Software Reuse: Methods, Techniques and Tools. VII International Conference on Software Reuse, number 2319 in Lecture Notes in Computer Science
… tackle the adaptation problem in the context of models reuse. Keywords: Formal specification, Petri nets…
Cited by 1 (1 self) – Add To MetaCart

Generic fault tolerant software architecture reasoning and customization
by Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit — IEEE Transactions on Reliability
…. These two mechanisms can help the development of specific distributed systems to reuse the formal model…
Cited by 1 (1 self) – Add To MetaCart

Reusable specification components for model-driven development
by Speccomponents For Model-Driven, Kathryn Anne Weiss, Elwin C. Ong, Nancy G. Leveson — 2003 — In Proceedings of the International Conference on System Engineering, INCOSE
… specification: reuse of formal models alone will not provide the information necessary to create a safe…
Add To MetaCart

Showing 1 through 6.

ATOM

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