1481 search results - page 46 / 297 » Enriching the Software Development Process by Formal Methods |
126
click to vote
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial developmen...
134
click to vote
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
156
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
151
click to vote
ICTAC
2009
Springer
15 years 29 days ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
163
click to vote
AICCSA
2008
IEEE
15 years 5 months ago
2008
IEEE
Because of several vulnerabilities in software products and high amount of damage caused by them, software developers are enforced to produce more secure systems. Software grows u...