1005 search results - page 171 / 201 » Formal Software Development in MAYA |
101
click to vote
JOT
2008
14 years 11 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
118
click to vote
SIGSOFT
2003
ACM
16 years 15 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
105
click to vote
IFL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
119
click to vote
KBSE
1995
IEEE
15 years 3 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
97
Voted
JUCS
2008
14 years 11 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...