Thread started: Aug 30 2007, 3:57 PM EDT
Watch
Buscando informacion sobre los lenguajes SBC encontre algo que nos puede ayudar acerca de los lenguajes:
In the last few years, formal modeling languages have begun to play an increasingly important role in the knowledge acquisition community. A testimony to this is the steady stream of proposals for such formal languages for knowledge-based system (KBS) modeling. These modeling languages differ from both the high-level informal modeling languages-for example, those used in CommonKADS--and from directly executable languages. Various authors have argued the advantages of such formal modeling languages: They reduce the vagueness and ambiguity of informal descriptions, enable validation of completeness and consistency through formal proofs, and bridge the gap between the informal model and the system design. However, these advantages come at a price. As the software engineering community well knows, formal modeling languages suffer from problems that severely limit their usefulness. They are often not expressive enough to handle real-world applications, and they are usually complex and hard to read. Moreover, constructing a formal model is difficult, error prone, and expensive.
Espero que sirva de ayuda.
out of
found this valuable.
Do you find this valuable?