BOOK
Structured Object-Oriented Formal Language and Method
Zhenhua DuanShaoying LiuCong TianFumiko NagoyaNagoya, Fumiko
Year: 2019 Lecture notes in computer science Publisher: Springer Science+Business Media
Keywords:
Computer science Formal methods Programming language Formal specification Formal verification Formal semantics (linguistics) Focus (optics) Semantics (computer science) Model checking Object-oriented programming Object language Specification language Software engineering Artificial intelligence Natural language
Metrics
5
Cited By
0.70
FWCI (Field Weighted Citation Impact)
0
Refs
0.77
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Scientific Computing and Data Management
Social Sciences → Decision Sciences → Information Systems and Management
Software Reliability and Analysis Research
Physical Sciences → Computer Science → Software
Related Documents
BOOK
Structured Object-Oriented Formal Language and Method
Lecture notes in computer science Year: 2013
BOOK
Structured Object-Oriented Formal Language and Method
Cong TianFumiko NagoyaShaoying LiuZhenhua DuanDuan, Zhenhua
Lecture notes in computer science Year: 2018
BOOK
Structured Object-Oriented Formal Language and Method
Nagoya, FumikoTian, CongDuan, ZhenhuaLiu, Shaoying
Lecture notes in computer science Year: 2017
BOOK
Structured Object-Oriented Formal Language and Method
Shaoying LiuZhenhua DuanLiu Ai
Lecture notes in computer science Year: 2023
BOOK
Structured Object-Oriented Formal Language and Method
Lecture notes in computer science Year: 2015