Login
中文
Formal Specification
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Computational model
Petri net
Software Engineering
Real-time computing
Distributed computing
Logic
Computer architecture
Systems analysis
Theory of computation
Computer Science
Application software
Software Testing
Software architecture
Formal methods
Software development
Unified Modeling Language
Object-oriented programming
Computer hardware
Requirements analysis
Software quality
Communications protocol
Formal verification
Programming
Requirements engineering
Software system
Parent Topic:
Theoretical computer science
,
Systems engineering
,
Computer Science
,
Programming language
,
Software Engineering
,
Formal methods
Top Authors:
Betty H C Cheng
Shaoying Liu
Carlo Ghezzi
Steve Easterbrook
Perry Alexander
Albert L Baker
Gary T Leavens
Haihe Shi
Miguel Felder
German Antonio Montejano
Mercedes G Merayo
Narayan C Debnath
Remi Bastide
Kevin Sullivan
Roel Wieringa
Mehmet Bulent Ozcan
T Y Chen
Virginie Wiels
Gerald C Gannod
Barry Boehm
Yuting Chen
Jonathan P Bowen
Emil Vassev
Tim Wahls
Luigi Logrippo
Dick Hamlet
Roderick Bloem
Stephane Maag
Mats P E Heimdahl
Murali Sitaraman
Jose J Pazos Arias
Jawed Siddiqi
Joanne M Atlee
Daniel Jackson
Yves Ledru
Farnam Jahanian
Kokichi Futatsugi
Klaus Schneider
Douglas R Smith
A Talebbendiab
Martin S Feather
Ivan J Jureta
David Lo
Heike Wehrheim
Stephane Faulkner
Jarle Hulaas
Isabelle Simplotryl
Abdul Rahman Mat
William F Ogden
Martin Randles
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation