1121
Published 2021
Springer International Publishing
..., which encompasses many aspects of the formal design of software systems. Originally born as formal...

1122
Published 2012
Springer Berlin Heidelberg
... and computational aspects of query answering, in formalisms, methods and technology, and on the other hand to also...

1123
Published 2023
Springer Nature Switzerland
... as formal method for reasoning about abstract data types, the algebraic approach now covers new...

1124
Published 2017
The National Academies Press
... epidemic, with a particular focus on informing FDA's development of a formal method for incorporating...

1125
by Su, Yunlin, Yan, Song Y.
Published 2011
Springer Berlin Heidelberg
... in the development of compilers, but also introduces an increasingly important alternative — the algebraic formal...

1126
Published 2013
Springer Berlin Heidelberg
... infrastructure (e.g., the Semantic Web) and different formalisms, methods and platforms for eliciting, analyzing...

1127
by M., Norman Kerth L. Gerald Weinberg
Published 2013
Addison-Wesley Professional
... postmortems or postpartums or something else, project retrospectives offer organizations a formal method...

1128
by Sagdeo, Vivek
Published 1998
Springer US
... that Verilog is not only a simulation or synthesis language, or a formal method of describing design, but a...

1129
by Weinmann, Siegfried
Published 2020
Springer Fachmedien Wiesbaden
...Dieses Essential führt über die formale Methode des statistischen Entscheidens hinaus und klärt die...

1130
by Hudson, Keith
Published 1984
Springer US
... really first discovered by Socrates. As a formal method of teaching, the Socratic method disappeared...

1131
Published 1994
Springer Netherlands
... well developed subject with a great variety of formalisms. methods and principles. Ninety five...

1132
by Fensel, Dieter, Facca, Federico Michele, Simperl, Elena, Toma, Ioan
Published 2011
Springer Berlin Heidelberg
...-of-the-art overview of formalisms, methods, tools, and applications related to SWS....

1134
by Raghavan, Ramkripa
Published 2019
United States Department of Agriculture