3742 search results - page 591 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
RTAS
2005
IEEE
16 years 20 hour ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
185
click to vote
WETICE
2005
IEEE
16 years 16 hour ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
174
click to vote
SIGCSE
2005
ACM
16 years 6 hour ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
164
click to vote
SIGSOFT
2005
ACM
16 years 5 hour ago
2005
ACM
Reuse has always been a major goal in software engineering, since it promises large gains in productivity, quality and time to market reduction. Practical experience has shown tha...
204
click to vote
ADC
2005
Springer
16 years 29 min ago
2005
Springer
There has been an increased demand for characterizing user access patterns using web mining techniques since the informative knowledge extracted from web server log files can not ...