Skip to main content

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

A Network software raid1Setting Up Network RAID1 With DRBD On Ubuntu 12.04 This tutorial shows how to set up network RAID1 with the help of DRBD on two Ubuntu 12.04 systems. DRBD stands for Distributed Replicated Block Device and allows you to mirror block devices over a network (like raid1 with 2 disks). This is useful for high-availability setups because if one node fails, all data is still available from the other node.
1 Preliminary Note We use two servers (both running the same version of linux in our case Ubuntu 12.04): server1.cofares.net (IP address 192.168.10.100)server2.cofares.net (IP address: 192.168.10.101) Both nodes have an unpartitioned second drive (/dev/sdb) with identical size (X GB) that I want to mirror over the network (network RAID1) with the help of DRBD. It is important that both nodes can resolve each other, either through DNS or through /etc/hosts, /etc/hosts would be a better choice (our 2 servers are on the same switch and local. You can modify /etc/hosts on…

HOWTO remove all dangling commits from your git repository

A good explanation of the dangling (fr: ballants) commits source tells you how they get created.

git fsck --fullChecking object directories: 100% (300/300), done. Checking objects: 100% (10658/10658), done. dangling commit x.... dangling blob y.... dangling commit z.... dangling blob w.... dangling blob a.... dangling commit b....
How to quickly remove those?
git reflog expire --expire=now --all git gc --prune=now