Property Set Library (PSL)

  •        0

The Property Set Library (PSL) is a template-based C++ container library providing value observation, event calling, garbage collection, serialization, object persistence, reflection, thread-safety and other accompanying features.

http://psl.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

Sccpsl - PSL206 UFLA proof of concepts


Proof of concepts to developers a control software payments. Main technology PHP, Databases, OO

P2psl - p2p into Secondlife


Can share your file in Secondlife. DownloadGo to Secondlifelab.it

AerialX-PSL1GHT


A lightweight PS3 SDK

Free-contabil - Sistema de Controle de Custos - PSL 107


Este repositório irá conter a aplicação Free Contábil desenvolvida para atender aos requisitos essenciais descritos na discplina Engenharia de Software para Software Livre 2 é que agora passa a ser desenvolvida na disciplina Engenharia de Software para Software Livre 3. Requisitos técnicos: Linguagem de Programação: PHP 5 Banco de dados: MySQL 5.0.2 Ambiente: Web Outras tecnologias: Ajax, DOM e Javascript Componentes / papeis: Alan Alencar - Gerente do projeto e programador Aureliano Mo

Conexao - PSL2006


O Sistema de Controle de Curso (SYSCO) foi elaborado por um grupo de alunos, intitulados (Conexão), do curso de Produção de Software com ênfase em Software Livre da Universidade Federal de Lavras. Seu objetivo é controlar os custos de uma empresa, utilizando ambiente Web, prático e intuitivo a fim de que todos possam utilizar. Esta empresa é organizada em departamentos do qual cada um possui uma conta que são movimentadas pelos seus funcionários previamente cadastrados e com funções p

Psl2ba - Translator from property specification language (PSL) formulas to Büchi automata.


What is it?The psl2ba tool translates formulas of the IEEE standard "Property Specification Language" (PSL) into Büchi automata. These automata are used in the model checkers NuSMV, SMV, or SPIN. FeaturesThe translator supports the linear-time logics LTL and PSL with past operators. The output of psl2ba can be used in the symblic model checker NuSMV. For further information see the README.TXT file in the package.

Hdscala - Hardware design and verification DSL HDScala


HDScala is a DSL (domain specific language) written in Scala for hardware deisgn and verification. It follows very closely with HDCaml(www.confluent.org) but uses Scala (scala.epfl.ch) as the host language. Given a high-level structural design description, HDScala will generate a synthesizable Verilog netlist, PSL assertions, and cycle and bit accurate C and SystemC models.

Adminarte - Sistema de Administracao de Artefatos


O sistema AdminArte é um sistema de Administração de Artefatos.

Costmanager - Sistema de Controle de Custos


Sistema de Controle de Custos criado incialmente para atender a disciplina D04 - Engenharia de Software 2 para o curso de PSL em Lavras