Quantcast
Last updated on April 19, 2014 at 21:20 EDT

Latest Formal methods Stories

2009-08-17 16:06:00

SAN FRANCISCO and BANGALORE, India, Aug. 17 /PRNewswire/ -- ThoughtWorks Studios, (www.thoughtworks-studios.com) a global leader in Agile application lifecycle management (ALM) and software development tools, today announced Adaptive ALM(TM), a new solution to help organizations streamline and automate the entire Agile software development lifecycle. Using Adaptive ALM, development organizations realize new levels of visibility and flexibility to better manage a wide range of software...

2009-08-03 08:00:00

HACKENSACK, New Jersey, August 3 /PRNewswire-FirstCall/ -- - What: Industry Trends, Success Stories and Key Best Practices for Distributed Agile Development. Building Software Products is not easy, especially in the game-changing worlds of multi-shore distributed development and Cloud computing. A handful of trailblazing organizations are using distributed Agile methods for global development teams. Using Agile they blend engineering practices with social, collaborative...

2009-06-01 16:56:00

Combined AnthillPro and Klocwork Insight Solution Enables Customers to Easily Integrate Source Code Analysis with Their Build and Release Cycle SAN FRANCISCO, June 1 /PRNewswire/ -- JavaOne -- Urbancode, the technical leader in build and release management solutions since 2001, and Klocwork, a global leader in automated source code analysis solutions for improving developer productivity, today announced AnthillPro's integrated support for Klocwork Insight. AnthillPro provides globally...

2009-04-15 10:05:00

ALEXANDRIA, Va., April 15 /PRNewswire/ -- "Software bugs, or errors, are so prevalent and so detrimental that they cost the U.S. economy an estimated $59.5 billion annually. Software developers already spend approximately 80 percent of development costs on identifying and correcting defects." [NIST] The majority of bugs are traced to errors made during the requirements phase and these errors are extremely expensive to repair. Reducing requirements errors may be the single most effective...

2009-03-10 08:00:00

Software development lifecycle specialist to guide prospects through Microsoft Office 2007 migration strategy development and execution using OfficeConverter NASHUA, N.H., March 10 /PRNewswire/ -- ConverterTechnology today announced it has hired enterprise software development lifecycle expert Todd Timmerman to help customers better understand the challenges in migrating to Microsoft Office 2007 and how OfficeConverter(TM) can help them overcome those challenges. As senior consulting...

2009-01-21 10:25:00

ATLANTA, Jan. 21 /PRNewswire/ -- Ingenious Med (IM), the leader in inpatient practice management information systems, announces recent adoption of rapid development methodology. Rapid development aims at aligning software development directly with client's needs, resulting in a more usable and versatile product. Rapid development delivers high-quality software at a quick and effective pace by radically reducing the size and duration of iterations of the software. The smaller scope of...

2008-12-17 16:11:00

MINNEAPOLIS, Dec. 17 /PRNewswire/ -- IIST will be offering 20+ different courses on software testing and quality assurance at each of the following locations: Tampa, FL February 9-13, 2009 San Antonio, TX March 2-6, 2009 Washington, DC March 30 - April 3, 2009 In conjunction with The International Institute for Software Process (IISP) -- This week offers Testing and Process Improvement Classes! Minneapolis, MN April 13-17, 2009...

2008-10-09 09:00:13

Integrations and New User Interface Streamline and Automate Software Change Process CA, Inc. Leanne Agurkis, 407-620-2136 Leanne.Agurkis@ca.com Logo: http://ca.com News Facts -- CA, Inc. (NASDAQ: CA) today announced a new release of CA Software Change Manager to help organizations better manage and control globally distributed software change initiatives, from request to release. By integrating CA Software Change Manager r12 with CA Clarity, CA Service Desk Manager and CA...


Latest Formal methods Reference Libraries

Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal of the journal is to promote growth of computing science, to show its relation to practice and to...

More Articles (1 articles) »