Record Beta

International Workshop on Formal Aspects of Component Software

https://id.confref.org/data/confref-portal/event/facs2010

rdf:type	portal:Conference
schema:location	Guimarães (wd:Q170903)
rdfs:label	International Workshop on Formal Aspects of Component Software
portal:acronym	FACS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Guimarães
portal:country	Portugal
portal:endDate	2010-10-16
portal:keyword	Aspect-Oriented Modeling (AOM)
portal:keyword	Automata decomposition
portal:keyword	Complete constraint automata
portal:keyword	Component model
portal:keyword	Constraint Automata
portal:keyword	Controller synthesis
portal:keyword	Graph transformation
portal:keyword	Inverse Automata
portal:keyword	Object Orientation
portal:keyword	Object monitoring
portal:keyword	Operational Semantics
portal:keyword	Process calculus
portal:keyword	code annotation
portal:keyword	communication traces
portal:keyword	component-based software development
portal:keyword	component-based testing
portal:keyword	formal method
portal:keyword	hierarchical control
portal:keyword	hierarchical graph
portal:keyword	method call sequence specification
portal:name	International Workshop on Formal Aspects of Component Software
portal:portalPage	http://portal.confref.org/list/facs2010
portal:series	https://id.confref.org/data/confref-portal/series/facs
portal:startDate	2010-10-14
portal:submissionExtended	false
portal:year	2010
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.