1005 search results - page 111 / 201 » Formal Software Development in MAYA |
143
click to vote
CAISE
1995
Springer
15 years 8 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
160
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
108
click to vote
CHI
1992
ACM
15 years 8 months ago
1992
ACM
We studied CAD system users to find out how they use the sophisticated customization and extension facilities offered by many CAD products. We found that users of varying levels o...
122
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
133
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...