977 search results - page 29 / 196 » Formal methods integration in software engineering |
153
click to vote
IWFM
1998
15 years 7 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
148
click to vote
INTERACT
2003
15 years 7 months ago
2003
: Models from methods like Contextual Design (CD) are a sound basis for requirements engineering. But current software engineering processes are not prepared to use such models. To...
196
click to vote
ASE
1998
15 years 5 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
158
click to vote
B
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
156
click to vote
KBSE
2007
IEEE
16 years 5 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...