1816 search results - page 28 / 364 » Formal Concepts of Learning Systems Validation in Use |
AOSD
2009
ACM
13 years 6 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
UML
2001
Springer
14 years 27 days ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
: Presented is a paradigm of how a design concept can be converted into a system of production rules to generate designs. The rules are expressed by the means of shape grammar form...
ASM
2008
ASM
13 years 10 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...