1552 search results - page 42 / 311 » Concepts and Concept-Oriented Programming |
163
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
166
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
138
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
186
Voted
ICTAI
2010
IEEE
15 years 3 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
125
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...