Formal Approaches to Testing of Software (FATES)
to formal testing methods by ist_spl on Aug 14, 2008, 1:49 PMDesign methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to descr...Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
to Formal Natural language computer-science Programs Software programming Equivalence CompSci computer_science by xckuk on Aug 9, 2008, 11:31 PMDesign methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to descr...Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
to computer_science language programming Equivalence CompSci Software Programs Formal Natural computer-science by xckuk on Aug 9, 2008, 11:30 PM- to concept lattice formal tool analysis galicia fca tools by stumme on Jul 23, 2008, 10:51 AM
The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineeri...The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
to verification dependability installations bayesian heterogeneous server monitoring computer prevention block telecommunication distributed majority voters electrical chains chemical missile methods satellite diversity and diagnostic plants design large complexity rejuvination security multi-formalism modeling markov brake-by-wire fault protection networks theorem-proving infrastructures validation model-checking fly-by-wire prognostic nuclear repairable mission-critical maintainability real-time software apparels tran systems evaluation safety-critical multi-paradigm shuttle nets watchdog uml high-integrity trees n-modular-redundancy transactional devices fault-injection safety high-availability reliability railway RAMS military biomedical money-critical space life-critical planes petri diagrams deadlock fault-tolerance high-assurance testing automotive development automatic engineering control formal by flamminifra on Jul 9, 2008, 1:51 PMThis document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, ava...This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.
to specification methods formal by ist_spl and 1 other person on Jul 1, 2008, 10:13 AM- to fca manager conceptual analysis mailsleuth email cem formal concept by stumme on Oct 10, 2007, 3:35 PM
- to formal cem email conceptual analysis manager fca concept mailsleuth by stumme on Oct 10, 2007, 3:35 PM
- to methods fmco formal by correndo on Jun 13, 2007, 10:18 AM
- to management concept analysis knowledge summarization formal by zhouwen on Mar 1, 2007, 3:22 PM
Annotea is a W3C Semantic Web Advanced Development project that provides a framework for rich communication about Web pages through shared RDF metadata. An...Annotea is a W3C Semantic Web Advanced Development project that provides a framework for rich communication about Web pages through shared RDF metadata. An RDF model of bookmark classification permits multiple classification systems to be related to each
to bookmarking informal RDF annotea unstructured structured ontologies schema annotation metadata tagging bookmarks ontology formal annotating by avivagabriel and 3 other people on Jan 28, 2007, 10:19 AMAnnotea is a W3C Semantic Web Advanced Development project that provides a framework for rich communication about Web pages through shared RDF metadata. An...Annotea is a W3C Semantic Web Advanced Development project that provides a framework for rich communication about Web pages through shared RDF metadata. An RDF model of bookmark classification permits multiple classification systems to be related to each
to schema tagging informal bookmarking unstructured annotation bookmarks structured ontologies annotating formal RDF metadata ontology annotea by avivamagnolia and 3 other people on Jan 28, 2007, 10:19 AM- to conceptual analysis graphs cg concept formal fca iccs cgs by stumme and 1 other person on Dec 6, 2006, 5:10 PM
The Extensible HyperText Markup Language, or XHTML, is a markup language that has the same expressive possibilities as HTML, but a stricter, more verbose s...The Extensible HyperText Markup Language, or XHTML, is a markup language that has the same expressive possibilities as HTML, but a stricter, more verbose syntax. Whereas HTML is an application of SGML, a very flexible markup language, XHTML is an applicat
to markup verbose strick extensible syntax html code xhtml formal extensible+markup language by avivagabriel and 2 other people on Nov 26, 2006, 4:21 AMThe Extensible HyperText Markup Language, or XHTML, is a markup language that has the same expressive possibilities as HTML, but a stricter, more verbose s...The Extensible HyperText Markup Language, or XHTML, is a markup language that has the same expressive possibilities as HTML, but a stricter, more verbose syntax. Whereas HTML is an application of SGML, a very flexible markup language, XHTML is an applicat
to syntax strick language markup html extensible+markup xhtml formal extensible code verbose by avivamagnolia and 2 other people on Nov 26, 2006, 4:21 AM"Colorless green ideas sleep furiously" is a sentence composed by Noam Chomsky in 1957 as an example of a sentence whose grammar is correct but whose meani..."Colorless green ideas sleep furiously" is a sentence composed by Noam Chomsky in 1957 as an example of a sentence whose grammar is correct but whose meaning is nonsensical. It was used to show inadequacy of the then-popular probabilistic models of gramma
to meaning-making semantic+web chomsky webdev meaning languages meaningless probabilistic web lee-berners semantics formal linguistics standards by avivagabriel and 1 other person on Nov 26, 2006, 3:28 AM"Colorless green ideas sleep furiously" is a sentence composed by Noam Chomsky in 1957 as an example of a sentence whose grammar is correct but whose meani..."Colorless green ideas sleep furiously" is a sentence composed by Noam Chomsky in 1957 as an example of a sentence whose grammar is correct but whose meaning is nonsensical. It was used to show inadequacy of the then-popular probabilistic models of gramma
to webdev formal standards meaningless meaning semantics lee-berners languages web chomsky linguistics semantic+web meaning-making probabilistic by avivamagnolia and 1 other person on Nov 26, 2006, 3:28 AM- to synergistic formal athabasca elearners software elgg moodle networking ecommunities synchronous courseware formalware socialware social by avivagabriel and 2 other people on Nov 13, 2006, 7:19 AM
- to socialware synergistic elearners moodle synchronous social elgg athabasca formal courseware networking software formalware ecommunities by avivamagnolia and 2 other people on Nov 13, 2006, 7:19 AM
- to educational networks relationship communities learning systems formal self-organizing networking retrieval collaboration relational web community emergent overlay semantic information social management indexing education by avivagabriel and 2 other people on Nov 13, 2006, 7:13 AM
