4890 search results - page 613 / 978 » From system specifications to component behavioral models |
218
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
168
click to vote
SCM
1998
15 years 8 months ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...
177
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
226
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
183
click to vote
RE
1997
Springer
15 years 11 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...