3514 search results - page 251 / 703 » Evolving Specification Engineering |
204
Voted
FASE
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
167
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
166
click to vote
ICRE
2000
IEEE
15 years 9 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
196
Voted
FDL
2007
IEEE
16 years 15 days ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
125
click to vote
WER
2007
Springer
16 years 7 days ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...