About:Formal Aspects of Computing

An Entity of Type:periodical literature,from Named Graph:http://dbpedia.org,within Data Space:dbpedia.org

Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.

Property	Value
dbo:abbreviation	Form. Asp. Comput.
dbo:abstract	Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170. (en)
dbo:academicDiscipline	dbr:Computer_science dbr:Formal_methods
dbo:editor	dbr:Cliff_Jones_(computer_scientist) dbr:Jim_Woodcock
dbo:firstPublicationYear	1989-01-01 (xsd:gYear)
dbo:frequencyOfPublication	Quarterly
dbo:impactFactor	1.170000 (xsd:double)
dbo:impactFactorAsOf	2010-01-01 (xsd:gYear)
dbo:issn	0934-5043 1433-299X
dbo:oclc	42939863
dbo:publisher	dbr:Springer_Science+Business_Media
dbo:thumbnail	wiki-commons:Special:FilePath/Formal_Aspects_of_Computing.jpg?width=300
dbo:wikiPageExternalLink	https://www.springer.com/journal/00165/
dbo:wikiPageID	2583869 (xsd:integer)
dbo:wikiPageLength	1961 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1095295543 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Scientific_journal dbr:Innovations_in_Systems_and_Software_Engineering dbr:Cliff_Jones_(computer_scientist) dbr:Computer_science dbr:Journal_Citation_Reports dbr:Peer_review dbr:BCS-FACS dbc:Quarterly_journals dbr:British_Computer_Society dbr:Acta_Informatica dbc:Formal_methods_publications dbc:Springer_Science+Business_Media_academic_journals dbr:Editor-in-chief dbr:Formal_methods dbc:English-language_journals dbc:Computer_science_journals dbc:Publications_established_in_1989 dbr:Jim_Woodcock dbc:British_Computer_Society dbr:Springer_Science+Business_Media dbr:Impact_factor
dbp:abbreviation	Form. Asp. Comput. (en)
dbp:cover	Formal Aspects of Computing.jpg (en)
dbp:discipline	dbr:Computer_science dbr:Formal_methods
dbp:editor	dbr:Cliff_Jones_(computer_scientist) dbr:Jim_Woodcock
dbp:eissn	1433 (xsd:integer)
dbp:frequency	Quarterly (en)
dbp:history	1989 (xsd:integer)
dbp:impact	1.170000 (xsd:double)
dbp:impactYear	2010 (xsd:integer)
dbp:issn	934 (xsd:integer)
dbp:oclc	42939863 (xsd:integer)
dbp:publisher	dbr:Springer_Science+Business_Media
dbp:title	Formal Aspects of Computing (en)
dbp:website	https://www.springer.com/journal/00165/
dbp:wikiPageUsesTemplate	dbt:Infobox_journal dbt:Reflist dbt:Compu-journal-stub
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-magazine-noun-1
dcterms:subject	dbc:Quarterly_journals dbc:Formal_methods_publications dbc:Springer_Science+Business_Media_academic_journals dbc:English-language_journals dbc:Computer_science_journals dbc:Publications_established_in_1989 dbc:British_Computer_Society
gold:hypernym	dbr:Journal
rdf:type	owl:Thing schema:CreativeWork dbo:PeriodicalLiterature dbo:Work wikidata:Q1092563 wikidata:Q234460 wikidata:Q386724 yago:WikicatComputerScienceJournals yago:WikicatSpringerScience+BusinessMediaAcademicJournals yago:Artifact100021939 yago:Creation103129123 yago:Object100002684 yago:Periodical106593296 yago:PhysicalEntity100001930 yago:Product104007894 yago:Publication106589574 yago:Work104599396 dbo:AcademicJournal dbo:WrittenWork yago:Whole100003553 yago:WikicatEnglish-languageJournals yago:WikicatFormalMethodsPublications yago:WikicatPublicationsEstablishedIn1989 yago:WikicatQuarterlyJournals
rdfs:comment	Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170. (en)
rdfs:label	Formal Aspects of Computing (en)
owl:sameAs	freebase:Formal Aspects of Computing yago-res:Formal Aspects of Computing wikidata:Formal Aspects of Computing https://global.dbpedia.org/id/4jguH
prov:wasDerivedFrom	wikipedia-en:Formal_Aspects_of_Computing?oldid=1095295543&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Formal_Aspects_of_Computing.jpg
foaf:homepage	https://www.springer.com/journal/00165/
foaf:isPrimaryTopicOf	wikipedia-en:Formal_Aspects_of_Computing
foaf:name	Formal Aspects of Computing (en)
isdbo:wikiPageDisambiguates of	dbr:FAC
isdbo:wikiPageRedirects of	dbr:Form._Asp._Comput. dbr:Form_Asp_Comput dbr:Formal_Aspects_Comput dbr:Formal_Aspects_Comput. dbr:Formal_aspects_of_computing
isdbo:wikiPageWikiLink of	dbr:Rod_Burstall dbr:FAC dbr:List_of_computer_science_journals dbr:Peter_Landin dbr:Ursula_Martin dbr:Jan_Bergstra dbr:Predicate_transformer_semantics dbr:Cliff_Jones_(computer_scientist) dbr:Paritosh_Pandya dbr:Theoretical_computer_science dbr:BCS-FACS dbr:Form._Asp._Comput. dbr:Form_Asp_Comput dbr:Tim_Denvir dbr:RCOS_(computer_sciences) dbr:Jeannette_Wing dbr:Jim_Woodcock dbr:Ken_Robinson_(computer_scientist) dbr:BCS,_The_Chartered_Institute_for_IT dbr:Martin_Henson dbr:Sergiy_Vilkomir dbr:Formal_Aspects_Comput dbr:Formal_Aspects_Comput. dbr:Formal_aspects_of_computing dbr:The_Turing_Guide
isfoaf:primaryTopic of	wikipedia-en:Formal_Aspects_of_Computing

Movatterモバイル変換

About:Formal Aspects of Computing