Sciweavers

10585 search results - page 585 / 2117
» The Orc Programming Language
Sort
View
SOCO
2009
Springer
16 years 1 months ago
Feature (De)composition in Functional Programming
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
Sven Apel, Christian Kästner, Armin Grö&...
WCRE
2008
IEEE
16 years 1 months ago
Navigating Through the Design of Object-Oriented Programs
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
Epameinondas Gasparis, Jonathan Nicholson, Amnon H...
BPM
2003
Springer
121views Business» more  BPM 2003»
16 years 12 days ago
Towards a Library for Process Programming
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Guangxin Yang
IJAR
2008
129views more  IJAR 2008»
15 years 7 months ago
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
Teresa Alsinet, Carlos Iván Chesñeva...
ENTCS
2006
94views more  ENTCS 2006»
15 years 7 months ago
Reactive Concurrent Programming Revisited
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
Roberto M. Amadio, Gérard Boudol, Fré...