2514 search results - page 407 / 503 » The use of industrial-strength formal methods |
146
click to vote
SEFM
2007
IEEE
16 years 18 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
162
click to vote
IFL
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
144
click to vote
IFM
2007
Springer
16 years 14 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
151
click to vote
VAMOS
2007
Springer
16 years 13 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
152
click to vote
MEMOCODE
2006
IEEE
16 years 10 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...