1481 search results - page 139 / 297 » Enriching the Software Development Process by Formal Methods |
139
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Intellectual capital (IC) is both the key input and tool used in the development of software today. It covers the value provided to an organisation by the employees, the processes...
124
click to vote
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
129
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...
121
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
129
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...