Wissenschaftliche LiteraturmethodsInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Zum ShopVeit Köppen, Roland M. Müller (Eds.)
Business Intelligence: Methods and Applications
Essays in Honor of Prof. Dr. Hans-J. Lenz
Studien zur Wirtschaftsinformatik
This Festschrift is a collection of articles by colleagues and (former) students of Prof. Hans-J. Lenz to honor his work in the field of Business Intelligence.
The 18 articles provide interesting insights into many methods and applications of this innovative topic, such as data warehousing, statistics, graphical models, data mining and decision support…
Business IntelligenceData MiningData WarehousingDecision SupportInformaticsInformatikProf. Dr. Hans-J. LenzStatistics
Zum ShopSadegh Sadeghipour
Testing cycling software components of reactive systems on the basis of formal specifications
Forschungsergebnisse zur Informatik
Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, which is highly recommended by safety standard and legal requirements in the area of safety-critical embedded software systems, can improve the quality and efficiency of test…
Cyclic softwareFinfite state machinesFormal methodsInformatikPredicate logicReactive systemsTestingHäufige Schlagworte im Fachgebiet Betriebswirtschaft