1021 search results - page 128 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
SIGSOFT
2009
ACM
16 years 9 hour ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
ERCIMDL
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
101
click to vote
AAAI
2007
15 years 1 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...