123 search results - page 6 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
CIB
2005
13 years 10 months ago
2005
Abstract-- Mining textual documents and time series concurrently, such as predicting the movements of stock prices based on the contents of the news stories, is an emerging topic i...
UML
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
VLC
2008
13 years 10 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
REFSQ
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
WEBIST
2008
14 years 8 days ago
2008
Abstract. Designing and personalising systems for specific user groups encompasses a lot of effort with respect to analysing and understanding user behaviour. The goal of our paper...