1552 search results - page 160 / 311 » Concepts and Concept-Oriented Programming |
WETICE
2003
IEEE
14 years 3 months ago
2003
IEEE
Agent.Hospital is an open agent-based (software) framework for distributed applications in the healthcare domain. Previous appropriation of the Agent.Hospital development is appli...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
FMCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
VL
2002
IEEE
14 years 3 months ago
2002
IEEE
Many systems require data transformation – the conversion of complex data from one format to another. Most current approaches require programming, scripting bstract visual speci...
TOOLS
2010
IEEE
14 years 3 months ago
2010
IEEE
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...