Search Sciweavers | Sciweavers

4036 search results - page 67 / 808

» Formal Methods

158

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

15 years 4 months ago

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

135

click to vote

ICFCA
2009
Springer

132views Formal Methods» more ICFCA 2009»

Identifying Ecological Traits: A Concrete FCA-Based Approach

16 years 24 days ago

Download www.loria.fr

Aurélie Bertaux, Florence Le Ber, Agn&egrav...

claim paper

Read More »

141

click to vote

AFP
2008
Springer

241views Formal Methods» more AFP 2008»

Libraries for Generic Programming in Haskell

16 years 11 days ago

Download www.cs.uu.nl

Johan Jeuring, Sean Leather, José Pedro Mag...

claim paper

Read More »

159

click to vote

ICFCA
2004
Springer

343views Formal Methods» more ICFCA 2004»

AddIntent: A New Incremental Algorithm for Constructing Concept Lattices

15 years 11 months ago

Download www.cs.up.ac.za

Dean van der Merwe, Sergei A. Obiedkov, Derrick G....

claim paper

Read More »

129

click to vote

AGTIVE
2003
Springer

91views Formal Methods» more AGTIVE 2003»

Proper Down-Coloring Simple Acyclic Digraphs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers