10239 search results - page 270 / 2048 » Postmodern Software Development |
137
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
151
click to vote
ACMICEC
2006
ACM
16 years 19 days ago
2006
ACM
The growth of mobile commerce will require development of both demand and supply sides of the market. On the supply side, the development of mobile applications (e.g. games, calen...
178
click to vote
MOBILWARE
2009
ACM
15 years 11 months ago
2009
ACM
Major software companies, such as Apple and Google, are disturbing the relatively safe and established actors of the mobile application business. These newcomers have caused signiï...
146
click to vote
WICSA
2007
15 years 7 months ago
2007
Multi-site development organizations require coordination and communication efforts between different sites to ensure successful distributed development. These efforts need to be ...
143
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...