1005 search results - page 143 / 201 » Formal Software Development in MAYA |
103
click to vote
ASE
2002
14 years 11 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
101
click to vote
ENTCS
2006
14 years 12 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
109
click to vote
SIGCSE
2009
ACM
16 years 12 days ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
104
click to vote
CDVE
2007
Springer
15 years 6 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...