4290 search results - page 295 / 858 » Formal Approaches to Teamwork |
219
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...
206
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
204
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
205
click to vote
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
172
Voted
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...