611 search results - page 29 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
112
Voted
IESA
2007
15 years 1 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
FASE
1998
Springer
15 years 4 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
190
click to vote
ICFP
2009
ACM
16 years 12 days ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
100
click to vote
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...