596 search results - page 34 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
166
click to vote
IJMSO
2008
15 years 6 months ago
2008
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
144
click to vote
AO
2005
15 years 5 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
147
click to vote
IFM
2007
Springer
16 years 4 days ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
192
click to vote
HCI
2009
15 years 3 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
174
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...