1601 search results - page 19 / 321 » The affordable application of formal methods to software eng... |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
COMPSAC
1999
IEEE
14 years 1 days ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The popularity of empirical methods in software engineering research is on the rise. Surveys, experiments, metrics, case studies, and field studies are examples of empirical method...
ISESE
2002
IEEE
14 years 19 days ago
2002
IEEE
Organisational problems in industry have evoked increased interest in empirical methodologies in the broader software engineering community. In particular, the human role in softw...
APSEC
2000
IEEE
14 years 4 days ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...