848 search results - page 6 / 170 » A Formal Monitoring-Based Framework for Software Development... |
147
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
122
Voted
TELSYS
2002
15 years 3 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
128
click to vote
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
122
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
124
Voted
FCA
2005
Springer
15 years 9 months ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...