BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (7)
calculus (6)
logic (4)
event (3)
requir (2)

Stem fluent$ (all stems)

14 papers:

ICSEICSE-v1-2015-RegisDDA #logic #specification
Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
CAiSECAiSE-2013-BaryannisP #calculus #named #specification #web #web service
WSSL: A Fluent Calculus-Based Language for Web Service Specifications (GB, DP), pp. 256–271.
KRKR-2006-ThielscherW #calculus #semantics
The Features-and-Fluents Semantics for the Fluent Calculus (MT, TW), pp. 362–370.
ESEC-FSEESEC-FSE-2005-LetierKMU #logic #modelling
Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.
ICSEICSE-2005-ChatleyUKM #animation #requirements #validation #web
Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
KRKR-2004-MartinNT #calculus
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus (YM, IN, MT), pp. 623–633.
RERE-2004-UchitelCKM #animation #requirements #validation
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
ESEC-FSEESEC-FSE-2003-GiannakopoulouM #model checking
Fluent model checking for event-based systems (DG, JM), pp. 257–266.
ICLPCL-2000-HolldoblerS #calculus #diagrams #problem #using
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams (SH, HPS), pp. 747–761.
ICLPCL-2000-LehmannL #calculus #decidability
Decidability Results for the Propositional Fluent Calculus (HL, ML), pp. 762–776.
ICLPCL-2000-Pallotta #composition #logic #logic programming #semantics #source code
A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs (VP), pp. 777–791.
ICLPCL-2000-StorrT #calculus #equation
A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.
ICLPCL-2000-Tarau #named #prolog #refactoring
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects (PT), pp. 1225–1239.
CHIINTERCHI-1993-RussoB #design #how #interface
How fluent is your interface?: designing for international users (PR, SB), pp. 342–347.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.