1481 search results - page 13 / 297 » Enriching the Software Development Process by Formal Methods |
127
Voted
EWSPT
2001
Springer
15 years 7 months ago
2001
Springer
A Software Development Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic stand...
119
Voted
PROFES
2001
Springer
15 years 7 months ago
2001
Springer
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
131
Voted
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
Agile software development solutions are targeted at enhancing work at project level. Little is yet known about the relationship between agile projects and organizational capabili...
131
Voted
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
160
click to vote
ANSOFT
2002
15 years 2 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...