Companies


	Company Search:

Soft411.ORG: Formal

Sort by: Relevancy | Alphabet | Number of Products

CryptoHeaven for Mac OS X	CryptoHeaven for Java(tm)	History and Guide Book to Lenticular Technology	TextTak

CryptoHeaven Development Team
Secure and anonymous email,online file storage/sharing, instant messaging, HIPAA

Vari-Vue
lenticular 3d stereo software and technology

PCPM Software Limited
TextTak domain wide desktop sticky notes. Put a note on colleagues` desktops.

Results 1-8 of 8

Page 1

	Cedric Lemaire http://www.codeworker.org CodeWorker is a universal parsing tool and source code generator. It interprets scripts that driv... Specializes in: cedric lemaire, html generator, java generator, source code generation, stored procedures generator, open source, getting started, program generator, freeware, c generator, syntactical, examples, rational rose parser, backus naur formalism, samples, beginner s guide, uml parser, source code generator, parsing tool, learning, interpreter, codeworker, scripting language, script, lexical, language, generic programming, reusability, tokens, xml generator, generative programming, parser generator About \| Products (1)


	Knowledge Media Institute, The Open University, UK http://kmi.open.ac.uk The Knowledge Media Institute (KMi) is an R&D lab at the UK Open University, undertaking research... Specializes in: knowledge representation, virtual classroom, knowledge systems, collaboration, community, telepresence, educational technology, scientific visualisation, knowledge management, media, presence, knowledge media, multimedia, intelligent agent, knowledge, semantic web, visualisation, webcasting, simulation, webcast, digital document, organisational memory, groupware, schools About \| Products (1)


	FormalSoft http://www.rootsmagic.com RootsMagic Family Tree Software - Smart Computing Magazine calls RootsMagic 'the best genealogy p... Specializes in: temple ready, quest, maker, templeready, legacy, ancestral, pedigree, descendants, geneology, family origins, ancestors, roots magic, ancestry, software, mormon, parsons, family tree, genealogy, family history About \| Products (2)
	PatentWizard http://www.patentwizard.com PatentWizard is a software program that assists businesses and inventors in drafting a provisiona... Specializes in: future invention, patent search, patent attorneys, invent, new invention, how to invent, invent it, how to get a patent, patent office, provisional, invention, patent pending, invention patent, patent attorney, great invention, patent information, us patent, invent invest, patent software, patent law, invention idea, provisional patent application, provisional application, patent lawyer, provisional patent, us patent office, u s patent, patent, patent invention, united states patent office About \| Products (2)
	Spirit http://spirit.sourceforge.net C++ parser framework using meta-programming techniques. Type EBNF directly in your source without... Specializes in: gratuit, pccts, gratis, lexing, closure, meta, tokenize, yacc, embedded, spirit, cfront, metrowerks, open, functoid, functor, diab, tokenizer, download, sybase, semantic, source, latice, solaris, lambda, function, scanning, cheap, parse, inprise, djgpp, metaprogramming, microsoft, comeau, syntaxis, domain, programming, ebnf, html, amiga, formal, 2000, irix, skipper, calc, language, cygwin, msvc, shareware, skip, grammar, mipspro, turbo, windows, boost, lexer, codewarrior, freeware, zlib, watcom About \| Products (1)
	Sysalys http://www.sysalys.com Outils et conseil en modélisation des besoins et des architectures. Specializes in: unified process, qualit, corba, mod lisation, architecture, besoins, model driven architecture, unified modeling language, consulting, design patterns, logiciel, formation, communaut, java, metamodele, editeur de profile, gestion de projets, recueil exigences, audit, pattern, formalisation, tests, tra abilit, conseil, management, orient objet, m thodologie About \| Products (1)
	Knoesis http://www.knoesis.com Whether you are taking notes for class, studying for an exam, writing a paper, or researching you... Specializes in: educational, outline, methods, study, write, presentation, cited, tools, card, curriculum, development, annotated, class, management, project, research, works, writing, term, guidelines, bibliography, papers, reference, formal, student, electronic, paper, prepare, organization, organize, academic, lecture, note, software, index, notes About \| Products (1)
	PhysicsBox http://www.physicsbox.com/indexenglish.html Solve Elec is an educative electricity software for circuit analysis and resolution featuring lit... Specializes in: formal calculus, education, solve elec, electricity, simulation, equation, physics, shareware, software, electronics About \| Products (1)

Results 1-8 of 8

Page 1

Sort by: Relevancy | Alphabet | Number of Products

formal calculus
formal wear

formal uniform
formalisation

backus naur formalism
formalsoft

Keywords: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Cedric Lemaire http://www.codeworker.org CodeWorker is a universal parsing tool and source code generator. It interprets scripts that driv... Specializes in: cedric lemaire, html generator, java generator, source code generation, stored procedures generator, open source, getting started, program generator, freeware, c generator, syntactical, examples, rational rose parser, backus naur formalism, samples, beginner s guide, uml parser, source code generator, parsing tool, learning, interpreter, codeworker, scripting language, script, lexical, language, generic programming, reusability, tokens, xml generator, generative programming, parser generator About \| Products (1)


	Knowledge Media Institute, The Open University, UK http://kmi.open.ac.uk The Knowledge Media Institute (KMi) is an R&D lab at the UK Open University, undertaking research... Specializes in: knowledge representation, virtual classroom, knowledge systems, collaboration, community, telepresence, educational technology, scientific visualisation, knowledge management, media, presence, knowledge media, multimedia, intelligent agent, knowledge, semantic web, visualisation, webcasting, simulation, webcast, digital document, organisational memory, groupware, schools About \| Products (1)


	FormalSoft http://www.rootsmagic.com RootsMagic Family Tree Software - Smart Computing Magazine calls RootsMagic 'the best genealogy p... Specializes in: temple ready, quest, maker, templeready, legacy, ancestral, pedigree, descendants, geneology, family origins, ancestors, roots magic, ancestry, software, mormon, parsons, family tree, genealogy, family history About \| Products (2)
	PatentWizard http://www.patentwizard.com PatentWizard is a software program that assists businesses and inventors in drafting a provisiona... Specializes in: future invention, patent search, patent attorneys, invent, new invention, how to invent, invent it, how to get a patent, patent office, provisional, invention, patent pending, invention patent, patent attorney, great invention, patent information, us patent, invent invest, patent software, patent law, invention idea, provisional patent application, provisional application, patent lawyer, provisional patent, us patent office, u s patent, patent, patent invention, united states patent office About \| Products (2)
	Spirit http://spirit.sourceforge.net C++ parser framework using meta-programming techniques. Type EBNF directly in your source without... Specializes in: gratuit, pccts, gratis, lexing, closure, meta, tokenize, yacc, embedded, spirit, cfront, metrowerks, open, functoid, functor, diab, tokenizer, download, sybase, semantic, source, latice, solaris, lambda, function, scanning, cheap, parse, inprise, djgpp, metaprogramming, microsoft, comeau, syntaxis, domain, programming, ebnf, html, amiga, formal, 2000, irix, skipper, calc, language, cygwin, msvc, shareware, skip, grammar, mipspro, turbo, windows, boost, lexer, codewarrior, freeware, zlib, watcom About \| Products (1)
	Sysalys http://www.sysalys.com Outils et conseil en modélisation des besoins et des architectures. Specializes in: unified process, qualit, corba, mod lisation, architecture, besoins, model driven architecture, unified modeling language, consulting, design patterns, logiciel, formation, communaut, java, metamodele, editeur de profile, gestion de projets, recueil exigences, audit, pattern, formalisation, tests, tra abilit, conseil, management, orient objet, m thodologie About \| Products (1)
	Knoesis http://www.knoesis.com Whether you are taking notes for class, studying for an exam, writing a paper, or researching you... Specializes in: educational, outline, methods, study, write, presentation, cited, tools, card, curriculum, development, annotated, class, management, project, research, works, writing, term, guidelines, bibliography, papers, reference, formal, student, electronic, paper, prepare, organization, organize, academic, lecture, note, software, index, notes About \| Products (1)
	PhysicsBox http://www.physicsbox.com/indexenglish.html Solve Elec is an educative electricity software for circuit analysis and resolution featuring lit... Specializes in: formal calculus, education, solve elec, electricity, simulation, equation, physics, shareware, software, electronics About \| Products (1)