Open Hub
Black Duck Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

perl6-specs

Compare

  Analyzed about 4 hours ago

Perl 6 Specification

716 lines of code

4 current contributors

3 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Perl
Licenses: Artistic_...
Tags perl6 specification

CAIRIS

Compare

  Analyzed about 17 hours ago

CAIRIS (Computer Aided Integration of Requirements and Information Security) is a Requirements Management tool for specifying secure and usable systems. CAIRIS was built from the ground-up to support the elements necessary for usability, requirements, and risk analysis. Its features include: * ... [More] Support for KAOS goal and obstacle modelling, and traceability between goal, requirements, security, and usability model elements. * Support for entering and managing usability data, such as personas, tasks, and use cases * Support for entering and managing risk analysis data. * Automatic visualisation of models, and quantitative/quantative scoring of security and usability data * Automatic document generation of a VOLERE compliant requirements specification. [Less]

165K lines of code

4 current contributors

about 1 year since last commit

1 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: apache_2
Tags case goals misusecases modeling personas requirements requirementsengineering requirementsmanagement risk riskanalysis riskmanagement scenarios 7 more...

JMAP specification

Compare

  Analyzed 1 day ago

JSON Meta Application Protocol Specification (JMAP)

56.3K lines of code

14 current contributors

8 days since last commit

1 users on Open Hub

Moderate Activity
0.0
 
0 Reviews
I Use This
Mostly written in JavaScript
Licenses: No declared licenses
Tags caldav carddav email imap jmap mail smtp specification webmail

Overture Tool

Compare

  Analyzed about 3 hours ago

The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.

278K lines of code

4 current contributors

over 2 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: gpl3
Tags specification

Klever

Compare

  Analyzed about 16 hours ago

Klever is a software verification framework that aims at automated checking of programs developed in the GNU C programming language against a variety of requirements using software model checkers (automatic software verification tools) implementing such methods of thorough static analysis as Bounded ... [More] Model Checking and Counterexample-Guided Abstraction Refinement. Software model checking allows finding faults that can be hardly detected by other software quality assurance techniques like code review, testing and static analysis. In addition, it is capable to prove formal correctness of programs checked against particular requirements under certain assumptions. [Less]

268K lines of code

6 current contributors

3 days since last commit

0 users on Open Hub

Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in JavaScript
Licenses: apache_v2
Tags c formal_methods formalmethods model_checking modelchecking software_verification specification static_analysis verification

IRCv3 Specifications

Compare

  Analyzed 1 day ago

IRCv3 is a project by IRC client and server software authors working to enhance, improve, maintain and standardize the current IRC protocol. Stakeholders in the IRC protocol, such as IRC networks and IRC network operators are invited to participate.

0 lines of code

7 current contributors

10 days since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: No declared licenses
Tags irc ircv3 specification

QMpris Library

Compare

  Analyzed about 17 hours ago

A dynamic QMpris library and demo application using it

912 lines of code

0 current contributors

over 10 years since last commit

0 users on Open Hub

Inactive
4.0
   
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl
Tags interface media mpris multimedia multimediaplayer music player remote remotecontrol specification

structspec

Compare

  Analyzed about 14 hours ago

A language-independent, platform-neutral way of specifying binary packet structures.

1.08K lines of code

0 current contributors

over 8 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: GNU_Gener...
Tags binary c development json json_schema packet python software specification structure

hipack

Compare

  Analyzed about 21 hours ago

Site for the HiPack serialization format

0 lines of code

0 current contributors

about 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: mit
Tags hipack serialisation serialization spec specification website

Modern IRC Document

Compare

  No analysis available

An attempt to create an updated document about how the IRC client protocol works these days. This covers the client-server protocol only, and does not touch the S2S protocol. The reasons for this are discussed in the document. This document includes bits and pieces cherry-picked from the RFCs ... [More] , IRCv3, Internet-Drafts, and commands/replies that have generally been accepted by the IRC community. This document draws from RFC1459 and RFC2812, as well as other specifications and drafts listed. [Less]

0 lines of code

5 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: No declared licenses
Tags chat irc specification