EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"Formal methods"
Narrow search

Narrow search

Year of publication
Subject
All
Formal Methods 5 formal methods 5 Formal methods 4 Austrian economics 3 Heterodox economics 2 Heterodoxe Ökonomik 2 Model checking 2 Scientific method 2 Wissenschaftliche Methode 2 apriorism 2 economic semantics 2 essentialism 2 heterodox economics 2 individualism 2 methodology 2 praxeology 2 subjectivism 2 Österreichische Schule 2 Auction theory 1 Auktionstheorie 1 BYOD 1 Choreography 1 Collaborative Tasks 1 Compatibility Analysis 1 Component-Oriented Programming 1 Composition 1 Control Strategies 1 Digitale Dienste 1 E-commerce 1 Economic theory 1 Electronic Commerce 1 Enterprise Interoperability 1 Enterprise architecture 1 Evolution Monitoring 1 Game theory 1 History of economic thought 1 Human-automation interaction 1 Humanoid Robotics 1 Internet 1 Learning Organization 1
more ... less ...
Online availability
All
Undetermined 7 Free 4
Type of publication
All
Article 12 Book / Working Paper 2
Type of publication (narrower categories)
All
Article in journal 4 Aufsatz in Zeitschrift 4 Working Paper 2 Arbeitspapier 1 Aufsatz im Buch 1 Book section 1 Graue Literatur 1 Non-commercial literature 1 research-article 1
more ... less ...
Language
All
English 11 Undetermined 3
Author
All
Linsbichler, Alexander 2 Aldini, Alessandro 1 Ballester Lafuente, Carlos 1 Belala, Faiza 1 Benabdelhafid, Maya Souilah 1 Bolton, Matthew L. 1 Bouanaka, Chafia 1 Boufaida, Mahmoud 1 Boumaza, Amel 1 Debza, Ahmed Amar 1 Dong, Zhijiang 1 Foss, Nicolai J. 1 Fu, Yujian 1 Guislain, Jonathan 1 He, Xudong 1 Kerber, Manfred 1 Lange, Christoph 1 Maamri, Ramdane 1 Natarajan, Tara 1 Nicolau, Claudia Mihaela 1 Rowat, Colin 1 Röglinger, Maximilian 1 Seigneur, Jean-Marc 1 Silva, Lourival Paulino da 1 Titi, Xavier 1 Zeghib, Nadia 1
more ... less ...
Published in...
All
Acta Universitatis Danubius. OEconomica 1 Assessing Austrian economics 1 Business & Information Systems Engineering 1 CHOPE Working Paper 1 CHOPE working paper 1 Computational and mathematical organization theory 1 Forum for social economics 1 Information & Computer Security 1 International Journal of Information System Modeling and Design (IJISMD) 1 International Journal of Robotics Applications and Technologies (IJRAT) 1 International journal of e-business research : an official publication of the Information Resources Management Association 1 Journal of Artificial Societies and Social Simulation 1 Journal of Information Technology Research (JITR) 1 Journal of mathematical economics 1
more ... less ...
Source
All
ECONIS (ZBW) 6 Other ZBW resources 4 RePEc 3 EconStor 1
Showing 11 - 14 of 14
Cover Image
The need for formal compatibility analysis in web service choreography via an e-commerce application
Benabdelhafid, Maya Souilah; Boufaida, Mahmoud - In: International journal of e-business research : an … 11 (2015) 4, pp. 1-16
Persistent link: https://www.econbiz.de/10011398006
Saved in:
Cover Image
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking
Bolton, Matthew L. - In: Computational and mathematical organization theory 19 (2013) 3, pp. 288-312
Persistent link: https://www.econbiz.de/10009787405
Saved in:
Cover Image
A Formal Model for the Fifth Discipline
Silva, Lourival Paulino da - In: Journal of Artificial Societies and Social Simulation 8 (2005) 3, pp. 6-6
In this paper we present the main results of our research concerning the development of a formal model for the theory called The Fifth Discipline. Our model is based on a Multi-Agent Systems framework. The contributions of this work include a formal model for the Fifth Discipline, and analyses...
Persistent link: https://www.econbiz.de/10005292612
Saved in:
Cover Image
Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques
Röglinger, Maximilian - In: Business & Information Systems Engineering 1 (2009) 6, pp. 429-437
Web service compositions coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intra- and inter-organizational integration. Especially in inter-organizational...
Persistent link: https://www.econbiz.de/10011001395
Saved in:
  • First
  • Prev
  • 1
  • 2
A service of the
zbw
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...