3765 search results - page 238 / 753 » Formal Methods for Systems Engineering Behavior Models |
170
click to vote
FMCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
185
click to vote
DKE
2007
15 years 6 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
162
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
212
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
135
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...