Keep It Simple: Bring Software Complexity Under Control


CORDIS News (12/19/12)

European Union-funded researchers working on the industrial deployment of advanced system engineering methods for high productivity and dependability (DEPLOY) project, have developed an approach for building software systems that is safer, less expensive, and more robust.  The research aims to improve traditional software engineering processes that are not equipped to handle the complexity and diversity of modern software systems.  "As more and more elements and more functionality are packed into systems, engineers say they are losing control of complexity and worry they won't be able to provide the quality assurances required," says University of Newcastle professor Alexander Romanovsky.  He says the DEPLOY project approach follows formal engineering methods, which are starting to gain acceptance among industry experts as a more efficient, practical way to develop complex software systems.  Formal engineering methods are based on mathematical modeling and analysis, supporting reasoning at multiple levels of abstraction to enable a systematic engineering flow.  Romanovsky says the advantage of formal engineering methods is that errors are caught early in the development and complexity is kept within predefined limits, all of which reduces the need for testing at the final stages.  "In the long run, software systems are only going to keep getting more complex--formal engineering, as we have shown, is one way to address that problem," he says.
http://cordis.europa.eu/fetch?CALLER=OFFR_TM_EN&ACTION=D&DOC=1&CAT=OFFR&QUERY=013bb929b41c:618a:226151b6&RCN=10012

Comments

  1. Alluring blog! Thanks for giving out this hearsay. It will be very constructive in regular part of site.

    ReplyDelete
  2. Có làn da trắng là mong ước của mọi cô gái , sản phẩm thuoc uong lam trang da ivory caps giúp thuốc uống trắng da toàn thân ngoài ra bạn cũng có thể sử dụng các loại kem chong nang tot nhat. Ngoài ra nếu bạn muốn làn da luôn tươi trẻ thì nên dùng my pham sakura nhat ban như kem duong da chong lao hoa sakura giúp làn da luôn trẻ đẹp xóa các nếp nhăn. Cách thuốc herba vixmen an toàn và hiệu quả bằng herba vixmen , vậy thuoc herba vixmen co tot khong , có an toàn không và mua ở đâu sẽ được cho biết sau đây.

    ReplyDelete

Post a Comment

Pascal Fares and Open Source Lebanese Movement >

Popular posts from this blog

Setting Up Network RAID1 With DRBD On Ubuntu 12.04

HOWTO remove all dangling commits from your git repository