12,083 Hits in 4.6 sec

Article 53 of the Vienna Convention on the Law of Treaties – Codification or Development?

Jerzy Menkes
2013 Polish Review of International and European Law  
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

An Approach to Interface Terminology: The Example of Environmental Economics in English as a Foreign Language

Catherine Resche
2000 Meta : Journal des traducteurs  
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

Advancing Biomarker Development Through Convergent Engagement: Summary Report of the 2nd International Danube Symposium on Biomarker Development, Molecular Imaging and Applied Diagnostics; March 14–16, 2018; Vienna, Austria

M. S. Lim, Thomas Beyer, A. Babayan, M. Bergmann, M. Brehme, A. Buyx, J. Czernin, G. Egger, K. S. J. Elenitoba-Johnson, B. Gückel, A. Jačan, H. Haslacher (+16 others)
2019 Molecular Imaging and Biology  
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

VDM '87: VDM-a formal method at work

Ian.J. Hayes
1988 Science of Computer Programming  
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

A Product-Service System Proposal for Agile Modelling Method Engineering on Demand:

Nesat Efendioglu, Robert Woitsch, Wilfrid Utz, Damiano Falcioni
2017 Digital Enterprise Computing  
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 ( under grant agreement No: 723541  ... 
dblp:conf/dec/EfendiogluWUF17 fatcat:en2lv5gcrzeotczstshwwkxnmm

Page 502 of Behavior Research Methods Vol. 44, Issue 2 [page]

2012 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.  ... 

Formal Methods in Requirements Phase of SDLC

S. K.Pandey, Mona Batra
2013 International Journal of Computer Applications  
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

Analysis of the consistency of enterprise architecture models using formal verification methods

Eduard Babkin, Nikita Ponomarev
2017 Business Informatics  
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

Formal Aspects of Enterprise Modeling Methods: A Comparison Framework

Domenik Bork, Hans-Georg Fill
2014 2014 47th Hawaii International Conference on System Sciences  
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

Page 246 of Behavior Research Methods Vol. 40, Issue 1 [page]

2008 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).  ... 

Design Metamodels for Domain-Specific Modelling Methods using Conceptual Structures

Wilfrid Utz
2018 The Practice of Enterprise Modeling  
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

Philosophical methods under scrutiny: introduction to the special issue philosophical methods

Anna-Maria A. Eder, Insa Lawler, Raphael van Riel
2018 Synthese  
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

Knowledge engineering: Principles and methods

Rudi Studer, V.Richard Benjamins, Dieter Fensel
1998 Data & Knowledge Engineering  
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

40 Years of Formal Methods [chapter]

Dines Bjørner, Klaus Havelund
2014 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

Towards faster method search through static ecosystem analysis

Boris Spasojević, Mircea Lungu, Oscar Nierstrasz
2007 Proceedings of the 2014 European Conference on Software Architecture Workshops - ECSAW '14  
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