977 search results - page 41 / 196 » Formal methods integration in software engineering |
133
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
IWC
2011
14 years 10 months ago
2011
The importance of adopting a socio-technical approach to system development is recognised by many but not widely practised. We analyse the reasons for this, considering the histor...
150
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Enterprise resource planning (ERP) systems integrate companies’ multiple information systems and help adapt best practices for business processes. ERP systems are in most cases ...
122
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
120
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...