658 search results - page 47 / 132 » A formal approach to object-oriented software engineering |
141
Voted
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
150
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
165
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
155
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
157
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...