1809 search results - page 153 / 362 » A Formal Specification of dMARS |
FORTE
1990
13 years 10 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
COLT
2008
Springer
13 years 11 months ago
2008
Springer
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
ENTCS
2006
13 years 9 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
ASE
2006
13 years 9 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
ENTCS
2002
13 years 9 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...