341 search results - page 68 / 69 » Formal Grammars of Early Language |
96
Voted
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
96
Voted
CONCUR
2001
Springer
15 years 3 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
120
click to vote
IFIP
2001
Springer
15 years 3 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
99
Voted
EMSOFT
2009
Springer
15 years 2 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
97
Voted
MPC
2010
Springer
15 years 3 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...