Quantcast

Latest Formal methods Stories

2010-08-10 08:03:00

ORLANDO, Fla., Aug. 10 /PRNewswire/ -- (Agile 2010) - ThoughtWorks, Inc. (www.thoughtworks.com), a global IT consultancy focused on enterprise Agile software development, today announced Build, Release and DevOps, a new service offering that helps IT organizations assess, plan and implement new processes that lead to rapid and reliable releases of quality software. This hands-on, on-site service focuses on adopting proven best practices, deploying automation tools and properly aligning...

2010-08-02 08:03:00

SAN FRANCISCO, Aug. 2 /PRNewswire/ -- ThoughtWorks Studios (www.thoughtworks-studios.com), a global leader in Agile ALM solutions, today announced new thought leadership initiatives around the latest methodology in Agile software - Continuous Delivery. Jez Humble and Martin Fowler will share insights at the Agile 2010 conference on how better collaboration between developers, testers and IT operations, along with automation of the build, deploy, test and release process, drives rapid,...

2010-07-20 09:23:00

SAN FRANCISCO and BANGALORE, India, July 20 /PRNewswire/ -- ThoughtWorks Studios (www.thoughtworks-studios.com), a global leader in Agile ALM solutions, today announced Go(TM), a new Agile release management platform that allows organizations to incrementally automate the entire build, test and deployment process and release software faster and more reliably. Go enables Continuous Delivery, making it possible for enterprises to move from a world where software releases are governed by...

2010-07-19 11:49:00

MINNEAPOLIS, July 19 /PRNewswire/ -- Rommana Software announces the second major release of Rommana, an Integrated Software Lifecycle Management system. "Rommana 10.2 supports over 45 more features than version 10.1," says Dr. Hanna, CEO of Rommana Software. Rommana 10.2 includes new features to support agile development, exploratory testing and other incremental and highly iterative development and testing approaches. A partial list of these new features can be found at...

2010-05-06 02:01:00

SANTA CLARA, Calif., May 6 /PRNewswire/ -- NextOp Software, Inc. formally introduced itself today as a functional verification provider focused on delivering Assertion-Based Verification solutions that leverage design and testbench information to uncover bugs, expose coverage holes and increase verification observability. NextOp also announced today its flagship assertion synthesis product BugScope(TM), after four years of development of key technologies and successful work with several...

2010-05-04 08:52:00

STOCKHOLM and CALIFORNIA, May 4, 2010 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that it has received an order for delivering a Prover iLock solution for development and checking of interlocking systems from Canadian Pacific (CP), a Class 1 railway company. The Prover iLock solution will automate code generation, formal safety verification and functional testing of interlocking system software for platforms Microlok(R) II,...

2010-04-18 23:01:00

EssWork 3.0 Drives Adoption of Large Scale Agile Software Development OTTAWA, April 19 /PRNewswire/ - Ivar Jacobson International today is releasing a new version of EssWork which provides a "smart" framework for developing, browsing and executing software development practices. New features in EssWork 3.0 enhance and simplify an organization's ability to roll-out large-scale agile software development by giving software teams process guidelines that efficiently ensure software project...

2010-02-24 17:34:00

SAN MATEO, Calif., Feb. 24 /PRNewswire/ -- Businesses today face intense pressure to protect their organizations from the increasing threat of cybercriminals and hackers intent on leveraging weaknesses in web applications and enterprise software to gain access to valuable, sensitive corporate data. Implementing software security assurance is imperative to mitigating the business risk associated with vulnerable applications, whether built in-house, outsourced, or acquired from commercial...

2010-01-22 14:02:00

MINNEAPOLIS, Jan. 22 /PRNewswire/ -- Rommana Software is proud to release the Software Industry's only fully-integrated Software Lifecycle Manager. Rommana provides a methodology and tool, which uses one common repository to maintain tight integration between the following six processes: Requirement Management Test Management Project Management Use Case Management Issue Management Change and Release Management "Rommana is the premier in Software Lifecycle Management. Designed as a...

2009-10-05 08:03:00

SAN FRANCISCO and LONDON, Oct. 5 /PRNewswire/ -- ThoughtWorks Studios, a global leader in Agile ALM tools and training, today announced the launch of (www.AgileAssessments.com), a new web-based tool for gauging the status of a software development team's Agile adoption and potential roadblocks to the successful delivery of business-aligned programs. The complimentary self-assessment tool consists of a 20-question diagnostic that covers both management and engineering practices,...


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) »
Word of the Day
drawcansir
  • A blustering, bullying fellow; a pot-valiant braggart; a bully.
This word is named for Draw-Can-Sir, a character in George Villiers' 17th century play The Rehearsal.
Related