forge.open-do.org

OpenDO Forge: Welcome

Welcome to the Open-DO forge. Open DO is an Open Source initiative that aims to create a cooperative and open framework for the development of certifiable software. The Open DO forge is the location of all current projects being developed. For more information on the initiative, please visit www.open-do.org. New release 0.9.2 has been published. 2010-06-23 07:41 - HiberSource System. 0 Comment Read More/Comment. New release 0.9.b has been published. 2010-02-22 16:33 - HiberSource System.

http://forge.open-do.org/

OVERVIEW OF forge.open-do.org

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR FORGE.OPEN-DO.ORG

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

February

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Monday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.3 out of 5 with 6 reviews

5 star

0

4 star

2

3 star

4

2 star

0

1 star

0

Hey there! Start your review of forge.open-do.org

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

1.5 seconds

FAVICON PREVIEW

16x16
32x32

CONTACTS AT FORGE.OPEN-DO.ORG

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

20

SSL

EXTERNAL LINKS

48

SITE IP

194.98.77.211

LOAD TIME

1.477 sec

SCORE

6.2

PAGE TITLE

OpenDO Forge: Welcome | forge.open-do.org Reviews

<META> DESCRIPTION

Welcome to the Open-DO forge. Open DO is an Open Source initiative that aims to create a cooperative and open framework for the development of certifiable software. The Open DO forge is the location of all current projects being developed. For more information on the initiative, please visit www.open-do.org. New release 0.9.2 has been published. 2010-06-23 07:41 - HiberSource System. 0 Comment Read More/Comment. New release 0.9.b has been published. 2010-02-22 16:33 - HiberSource System.

<META> KEYWORDS

1 new account

2 projects

3 people

4 documents

5 my page

6 latest news

7 andrey anufrienko

8 release id=30

9 welcome to hibersource

10 news archive

CONTENT

Page content here

KEYWORDS ON PAGE

new account,projects,people,documents,my page,latest news,andrey anufrienko,release id=30,welcome to hibersource,news archive,features boxes,opendo forge statistics,hosted projects 24,registered users 556,top project downloads,riposte,hibersource system

SERVER

Apache/2.4.10 (Debian)

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

OpenDO Forge: Welcome | forge.open-do.org Reviews

https://forge.open-do.org

Welcome to the Open-DO forge. Open DO is an Open Source initiative that aims to create a cooperative and open framework for the development of certifiable software. The Open DO forge is the location of all current projects being developed. For more information on the initiative, please visit www.open-do.org. New release 0.9.2 has been published. 2010-06-23 07:41 - HiberSource System. 0 Comment Read More/Comment. New release 0.9.b has been published. 2010-02-22 16:33 - HiberSource System.

SUBDOMAINS

lists.forge.open-do.org

lists.forge.open-do.org Mailing Lists

Listsforge.open-do.org Mailing Lists. Below is a listing of all the public mailing lists on lists.forge.open-do.org. Click on a list name to get more information about the list, or to subscribe, unsubscribe, and change the preferences on your subscription. To visit the general information page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended. List administrators, you can visit the list admin overview page. To find the management interface for your list.

couverture-qemu.forge.open-do.org

Index of /

Apache/2.4.10 (Debian) Server at couverture-qemu.forge.open-do.org Port 80.

sparkformal.forge.open-do.org

Welcome to SPARK Formal

Welcome to SPARK Formal. We're Sorry but this Project hasn't uploaded their personal webpage yet. Please check back soon for updates or visit the project page.

xreq.forge.open-do.org

XReq

XReq - Executable Requirements for DO-178B. XReq is a tool designed to help testing and verifying projects. It has been specifically adapted for the DO-178B context but can be used by a much wider audience. To help DO-178B projects, it brings together the tests (HLT/LLT) with their requirements, therefore helping traceability of the tests. The executable requirements are the files you write. They can either be written with the. Vocabulary, or the. The description of the requirement. Test cases are compos...

INTERNAL PAGES

forge.open-do.org

1

OpenDO Forge: News

https://www.forge.open-do.org/news

Choose a News item and you can browse, search, and post messages. New release 0.9.2 has been published. 2010-06-23 07:41 - HiberSource System. After six months of work I 'm glad to introduce new release - 0.9.2. There are a lot of changes and improvements (please see change log for details.). 0 Comment Read More/Comment. New release 0.9.b has been published. 2010-02-22 16:33 - HiberSource System. 0 Comment Read More/Comment. 2010-01-25 16:54 - HiberSource System. 0 Comment Read More/Comment.

2

OpenDO Forge: ParaSail Programming Language: Project Home

https://www.forge.open-do.org/projects/parasail

Search the entire project. Design and Implementation of a safe and secure parallel programming language, as part of investigating ways to add parallel programming features while preserving language safety and verifiability. No tag defined for this project. View list of RSS feeds. Available for this project. View the 2 Member(s).

3

OpenDO Forge: Couverture: Project Home

https://www.forge.open-do.org/projects/couverture

Search the entire project. Coverage analysis toolset for safety-critical software projects undergoing a DO-178B software audit process for all levels of criticality. No tag defined for this project. View list of RSS feeds. Available for this project. Updates, 2,803. View the 23 Member(s).

4

OpenDO Forge: Explanatory documents on DO-178C: Project Home

https://www.forge.open-do.org/projects/do178c-docs

Search the entire project. Explanatory documents on DO-178C. Explanatory documents on DO-178C. No tag defined for this project. View list of RSS feeds. Available for this project. View the 10 Member(s).

5

OpenDO Forge: XReq for DO178B: Project Home

https://www.forge.open-do.org/projects/xreq

Search the entire project. XReq is a complete tool to bring together HLT and LLT and their requirements. Test cases are written in an English-based formalism and XReq generates test source code. XReq for DO178B is adapted for the DO178B but can be used independently as well. No tag defined for this project. View list of RSS feeds. Available for this project. June 2, 2010. View All Project Files. View the 4 Member(s).

UPGRADE TO PREMIUM TO VIEW 15 MORE

TOTAL PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

open-do.org

Solutions Provided by IP217

http://www.open-do.org/projects/ip-217/ip217-solutions

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove.

open-do.org

QM - Presentation

http://www.open-do.org/projects/qualifying-machine/presentation

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove. The goal of the.

open-do.org

Applying IP217

http://www.open-do.org/projects/ip-217/applying-ip217

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove.

open-do.org

Couverture

http://www.open-do.org/projects/couverture

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove. The key insight o...

open-do.org

Agile

http://www.open-do.org/projects/agile

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove.

open-do.org

DO-178B/C Core Text Problems

http://www.open-do.org/projects/ip-217/do-178bc-core-text-problems

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove.

open-do.org

OpenDO Project – Rationale

http://www.open-do.org/projects/ip-217/ip217-opendo-project-rationale

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove. Concern about sco...

open-do.org

How to Participate

http://www.open-do.org/participate

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove.

open-do.org

Key Definitions

http://www.open-do.org/projects/ip-217/ip217-definitions

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove.

open-do.org

IP217 Definition of Requirement

http://www.open-do.org/projects/ip-217/ip217-foundations-and-principles/ip217-def-of-requirement

Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove.

UPGRADE TO PREMIUM TO VIEW 38 MORE

TOTAL LINKS TO THIS WEBSITE

48

OTHER SITES

forge.nooblounge.net

Apache2 Ubuntu Default Page: It works

Apache2 Ubuntu Default Page. This is the default welcome page used to test the correct operation of the Apache2 server after installation on Ubuntu systems. It is based on the equivalent page on Debian, from which the Ubuntu Apache packaging is derived. If you can read this page, it means that the Apache HTTP server installed at this site is working properly. You should replace this file. Before continuing to operate your HTTP server. Package was installed on this server. Is always included from the main...

forge.ocamlcore.org

OCaml Forge: Welcome

OCaml Forge is a free service to Open Source. Offering easy access to the best in source control management, mailing lists, bug tracking, message boards/forums, task management, site hosting, permanent file archival, full backups, and total web-based administration. Read our philosophy. Site Feedback and Participation. In order to get the most out of this site, you'll need to register as a site user. Set Up Your Own Project. Register as a site user. And finally, Register Your Project. The OCaml Forge was...

forge.ochin.org

Log In - Forge Wiki

Skip to header menu. Skip to action menu. Skip to quick search. Log in to Confluence. Powered by a free Atlassian Confluence Community License. Granted to OCHIN. Evaluate Confluence today. Powered by Atlassian Confluence. Printed by Atlassian Confluence 4.3.7, the Enterprise Wiki. Middot; Report a bug. Middot; Atlassian News.

forge.ogf.org

SourceForge : Welcome

Help for this Page. Log In to SourceForge. Once your email address is confirmed, your SourceForge account will become active. Browse or search the SourceForge online Help system. Download the User Guide for printing or offline viewing. Get on the fast track to process improvement with the SourceForge Collaborative Development Process. Tap into the world's largest open-source development network. Learn more about how SourceForge enables collaborative development in the enterprise. OGF provides an open for...

forge.onehippo.org

Hippo Forge

Welcome to Hippo Forge! Find, Create and Publish Open Source software projects here. Hippo Forge is community driven project hosting site. This is the place where you can host your component or other tools developed for Hippo CMS, HST or Repository. Please create your user account and set up your project. For discussions and communications, please post it to https:/ groups.google.com/forum/#! Or send e-mail to. Also visit http:/ www.onehippo.org/. To see more about Hippo CMS! The External Document Picker...

forge.open-do.org

OpenDO Forge: Welcome

Welcome to the Open-DO forge. Open DO is an Open Source initiative that aims to create a cooperative and open framework for the development of certifiable software. The Open DO forge is the location of all current projects being developed. For more information on the initiative, please visit www.open-do.org. New release 0.9.2 has been published. 2010-06-23 07:41 - HiberSource System. 0 Comment Read More/Comment. New release 0.9.b has been published. 2010-02-22 16:33 - HiberSource System.

forge.opensimulator.org

GitBucket

AvatarArchiver OpenSim 8.1. Merge branch 'master' of http:/ forge.opensimulator.org/git/QuillLittlefeather/AvatarArchiver.

forge.org

The Forge

Forge (fôrj, frj). A furnace where metals are heated or wrought. To form by heating in a forge and beating or hammering into shape. To work at a forge. To advance gradually but steadily. To fashion or reproduce for fraudulent purposes; counterfeit. To give form or shape to, especially by means of careful effort. The place of work of a Smith. Here you will find just a few things that interest this particular Smith. Computers, internet and gadgets. Tabletop and Role Playing Games.

forge.org.au

Forge Australia

FORGE is an innovative. That seeks to equip Christian leaders. In a first world setting. Has emerged in Australia at a time when it is widely agreed that we find ourselves in a new mission context. In our present cultural climate most experienced evangelists and missionaries recognise that intentional mission responses and church planting is the most effective approach. FORGE. What do we do? Forge Mission Training Network. C oordinating an energetic network of pioneering leaders and practitioners focused.

forge.org.in

Forge Academia & IT Services Pvt. Ltd. | Unlock Urself...

How Can We Help You? Let’s Meet For a Coffee. Be A Creative Geek! In today’s rapidly changing world creative innovation is the key to success for students. Forge makes a difference by challenging the conventional thoughts and promoting innovative ideas in students to become Geeks! India Generates 1.8 Million Engg.Graduates/Year. Andhra and Telangana Generates 340,000 Engg.Graduates/Year. Forge provides the necessary infrastructure and support for the qualified students to start their own company while st...

forge.org.nz

Website Design & Hosting - Tauranga - Forge

Web Design, New Zealand. Is a directory of New Zealand Website Design and Development Professionals. We provide an affordable and professional solution to gaining an online presence. Whether you need a new website or are looking to redesign or update your existing website, forge. Optimised for fast loading. Optimised for high rankings with the major search engines. Checked and validated with W3C Markup Validation Service.