3514 search results - page 100 / 703 » Evolving Specification Engineering |
SOSE
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
ENGL
2008
13 years 8 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
IJSEKE
2002
13 years 7 months ago
2002
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
APSEC
2000
IEEE
13 years 11 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...