1926 search results - page 194 / 386 » Modeling and Model Checking Software Product Lines |
159
click to vote
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
146
click to vote
IGPL
2007
15 years 4 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
166
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
118
click to vote
COMPSAC
1997
IEEE
15 years 9 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
134
click to vote
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
Central to any legacy migration project is the translation of the data model. Decisions made here will have strong implications to the rest of the translation. Some legacy languag...