A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Tunkin placed a collective rule of proletarian internationalism, comprising numerous detailed rules, expressed in Orwell's meta-language essence of the "Brezhnev Doctrine" atop of the ius cogens norms ... method adopted to those ends, the law-making technique, and questioned its fundamental flaws. ...doi:10.21697/priel.2013.2.2.01 fatcat:g63hgfc65vgmziubxr2imxuj4i
MOTS-CLÉS/KEYWORDS interface terminology, environmental economics, English as a foreign language, methodology, problems ... The target public-consisting of second-year French university students of economics-provides the opportunity to stress the need for the teacher to adapt the selection of interface terms to the situation ... (1979) and founder of the Vienna General Theory of Terminology, known as VGTT. ...doi:10.7202/003941ar fatcat:32kbpvvw6bh5hkb4npztzb2bbq
Here, we report on the outcome of the 2nd International Danube Symposium on advanced biomarker development that was held in Vienna, Austria, in early 2018. ... During the meeting, cross-speciality participants assessed critical aspects of non-invasive, quantitative biomarker development in view of the need to expand our understanding of disease mechanisms and ... Open access funding provided by Medical University of Vienna. We wish to thank all participants for their active contribution at the 2nd Donau Symposium and for the lively discussions. ...doi:10.1007/s11307-019-01361-2 pmid:31049831 fatcat:2zvde6icd5g6zkrrykwywjho6m
The Vienna Development Method (VDM) is a formal method for the specification and development of computer systems. ... Its 22 papers cover a wide range of topics related to VDM and its specification language Meta-IV, the topics include reports of experience in using VDM, development methods, specification, development ... The action (or method) performed by the receiver on receipt of a message is entirely its own concern; other objects need not know or care how an object chooses to implement a particular function. ...doi:10.1016/0167-6423(88)90055-x fatcat:kuwrvd6eazeejnezbihly6aela
an in-house development project in the area of decision modelling extensions. ... The importance of Modelling Method Engineering is equally rising with the importance of domain specific modelling methods and individual modelling approaches. ... Acknowledgment This work has been partly supported by European Union's Horizon 2020 research and innovation programme within the projects DISRUPT (www.disrupt-project.eu) under grant agreement No: 723541 ...dblp:conf/dec/EfendiogluWUF17 fatcat:en2lv5gcrzeotczstshwwkxnmm
Behavior Research Methods
R: .1 language and environment for statistical computing. Vienna: R foundation for Statistical Computing. Raudenbush. S. W. (1994). Random-eO'ects model. In 11. M. CooiK’r & L. V. Hedges (lids.). ... Investing in teachers: What focus of professional development lead to the highest .student gains in mathematics achievement'.'. Unpublished doctoral dissertation. Unixersity of Miami. Seller. ...
Literature reveals that formal methods can be applied at various points through the development process. ... The present research work may help the software developers to provide their recommendations for using formal methods at different stages of software development and particularly for requirements phase, ... Development Method (VDM) is a formal language developed at the IBM laboratories in Vienna in the mid-1970s. ...doi:10.5120/12020-8017 fatcat:jnock2ajcbcgddqwo5nksnijty
We have developed the editor plug-in which translates the enterprise architecture models into the language of the MIT Alloy Analyzer system and uses the meta-model of the ArchiMate specifi cation as the ... The proposed method and software solutions have been tested using the ArciSurance case and their enterprise architecture model. ... VDM (Vienna Development Method) is a set of methods for the development of computer systems. It originated from IBM's lab in the mid-1970s and was developed by Cliff Jones and Deans Bj rner. ...doi:10.17323/1998-0663.2017.3.30.40 fatcat:43yf47uaczakxd3qpeyl3z4zeq
For the design of work and knowledge systems it is today common to revert to enterprise modeling methods. ... These methods not only support the representation and analysis of complex interactions between technical services and human actors. ... The method has been developed at the University of Vienna. Besides the theoretical concepts, also a commercial modeling tool for the BPMS method has been developed called Adonis. ...doi:10.1109/hicss.2014.422 dblp:conf/hicss/BorkF14 fatcat:gmprefzzrvfpli3w5zqy5aheum
Behavior Research Methods
Psychological Methods, 6,387-401. R Development Core TfeAM (2004). R: A language and environment for statistical computing. ... Multilevel meta¬ analysis: A comparison with traditional meta-analytical procedures. Educational & Psychological Measurement, 63, 765-790. Van den Noortgate, W., & Onghena, P. (2006). ...
The methods are re-constructed continuously to reflect the changing application/industrial domain. ... This impacts the way how enterprise information systems are analysed, designed and implemented. Conceptual modelling methods experience a constant evolution nowadays. ... Dimitris Karagiannis, head of the research group Knowledge Engineering and the Open Models Initiative Laboratory (OMiLAB) at the Faculty of Computer Science, University of Vienna. ...dblp:conf/ifip8-1/Utz18 fatcat:bypq2bodzvde5g5c62xrufy4uy
Carnap's method of explication is influenced by his view on rational scientific practice and rational theory formation in science, which traces back to the Vienna Circle. ... Brun considers Goodman's method of reflective equilibrium to be a "further development" of Carnap's explication. ...doi:10.1007/s11229-018-02051-2 fatcat:i7qsdaxodvdhtnyw3bgiewjkai
This description is supplemented by discussing some important methodological developments in more detail: specification languages for knowledge-based systems, problem-solving methods, and ontologies. ... This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. ... Richard Benjamins was partially supported by the Netherlands Computer Science Research Foundation with financial support from the Netherlands Organisation for Scientific Research (NWO), and by the European ...doi:10.1016/s0169-023x(97)00056-6 fatcat:7m5tejgc5vegzeomxuv7qlov6q
Lecture Notes in Computer Science
The techniques of a formal method, (besides the specification languages) are typically software packages. ... If, for example, the method includes, as a tool, a specification language, then that language has a formal syntax, a formal semantics, and a formal proof system. ... Chris is a main co-developer of RAISE [52, 51] . From the early 1980s Chris has contributed to both the industrial and the academic progress of formal methods. ...doi:10.1007/978-3-319-06410-9_4 fatcat:5hrbtlj2vzc4zidekw6hoo5g7q
Usage frequency data for methods is gathered by analyzing other projects from the same ecosystem -written in the same language and sharing dependencies. ... Software developers are often unsure of the exact name of the method they need to use to invoke the desired behavior in a given context. ... Acknowledgment We gratefully acknowledge the financial support of the Swiss National Science Foundation for the project "Agile Software Assessment" (SNSF project Np. 200020-144126/1, Jan 1, 2013 -Dec. ...doi:10.1145/2642803.2642814 dblp:conf/ecsa/SpasojevicLN14 fatcat:lrpdkui745gq3moky7njbkcrti
« Previous Showing results 1 — 15 out of 12,083 results