2153 search results - page 163 / 431 » From Requirements Models to Formal Specifications in B |
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
SIGSOFT
2002
ACM
15 years 11 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
ICSE
2010
IEEE-ACM
15 years 4 days ago
2010
IEEE-ACM
Planning iterations in software projects requires considering artifacts from different aspects such as requirements, specifications, tasks or even bug reports. UNICASE is a unifie...
107
click to vote
FIW
2009
14 years 8 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...
POLICY
2004
Springer
15 years 3 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...