Latest Formal methods Stories

TOULOUSE, France, September 17, 2012 /PRNewswire/ -- Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that Infrabel, the Belgian railway infrastructure manager, has placed an order for using Prover iLock for validation of level crossing control requirements. The Belgian railway network is one of the busiest in Europe, with more than 1,800 level crossing systems. Infrabel chose Prover...

STOCKHOLM, September 12, 2012 /PRNewswire/ -- Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that General Electric has placed an order for turnkey delivery of interlocking software developed with Prover iLock. The scope of the order includes the interlocking systems for the existing light rail system Tvarbanan as well as the new Solna branch, to be delivered by General Electric to Stockholm Public...

Paper offers a mathematical formulation of the brain's neural networks As computer scientists this year celebrate the 100th anniversary of the birth of the mathematical genius Alan Turing, who set out the basis for digital computing in the 1930s to anticipate the electronic age, they still quest after a machine as adaptable and intelligent as the human brain. Now, computer scientist Hava Siegelmann of the University of Massachusetts Amherst, an expert in neural networks, has taken...

New web-based tool helps improve Agile software development team productivity. Redmond, WA (PRWEB) March 15, 2012 Agile Advantage, Inc. today announced the availability of its new impediment-tracking tool for software development teams that use Agile, Scrum, Lean, and Kanban methods at impedimentmonkey.com. For teams using these new methods, continuous improvement is a critical focus. But relentless focus on problems can be demoralizing, so efforts gradually lose momentum and team...

SAN FRANCISCO and PARIS, Feb. 8, 2012 /PRNewswire/ -- Coverity, Inc., the development testing leader, announced today that Qosmos®, a leading provider of Network Intelligence and Deep Packet Inspection (DPI) technology, has successfully deployed Coverity® Static Analysis to improve the integrity of software code across its full range of Network Intelligence and DPI solutions. Since integrating Coverity, Qosmos has significantly reduced the time it takes to identify defects hidden...

Integration aligns product vision and customer needs to daily development activities to empower Agile success across the organization. Portland, OR (PRWEB) February 07, 2012 Jama Software, the leader in collaborative requirements management solutions, today announced the availability of the Jama Connector for Rally, an integration between Jama Contour and Rally Software, two industry-leading solutions for enterprise organizations adopting Agile practices. Businesses choose Agile to speed...

New version of Jama’s Web application, Contour, makes managing complex development projects easier and transforms requirements management into collective genius within the enterprise. Portland, OR (PRWEB) February 07, 2012 Jama Software, the leader in collaborative requirements management solutions, today announced Contour 3.4, the latest version of its software that provides a centralized collaboration hub for enterprise organizations to execute complex projects successfully throughout...

CHICAGO, Aug. 10, 2011 /PRNewswire/ -- OpenMake Software today announced the Release of OpenMake Meister 7.4 which includes new features for managing software releases such as a binary repository and server configuration management. Meister 7.4 extends the features of the 7.3 Remote Agent technologies incorporating improved Server Management with automatic Cloud provisioning. Steve Taylor, CTO, OpenMake Software explains, "Meister 7.4 provides our customers a consolidated platform for...

CHICAGO, Aug., 9, 2011 /PRNewswire/ -- ThoughtWorks, Inc. (www.thoughtworks.com) the global leader in enterprise Agile development services, today announced that Jez Humble's book, Continuous Delivery, has been selected by Oxford University as the set text for its "Agile Practices in Engineering" course curriculum. Released in 2010, Continuous Delivery is recognized as one of the most important software development books to be published during the past year as enterprises work to extend the...

COLUMBUS, Ind., Aug. 1, 2011 /PRNewswire/ -- LHP Software has agreed to provide training facilities for National Instruments (NI) in downtown Columbus, Indiana. Over the next year, NI will offer specialized product training. "In downtown Columbus, LHP has dedicated training facilities providing opportunities for our team to receive training and earn specialized certifications in multiple engineering fields, such as diesel controls, model based design, and communication protocols," said...