- Categories
- Acceptance Testing
- Agile Business Analysis
- Best Practices
- Business Analysis and Systems Analysis
- Business Analysis Planning and Monitoring
- Business Process Modeling (BPM)
- Business Rules
- Conducting Meetings
- Data Modeling, Data Analysis, Data Mining
- Enterprise Analysis
- Facilitation
- IIBA, BABOK, and CBAP certification
- JAD
- Making Teams and Virtual Teams Work
- Problem Analysis, Problem Solving
- Process Analysis
- Prototyping
- Request for Proposal (RFP)
- Requirements Analysis
- Requirements Documentation
- Requirements Elicitation
- Requirements Engineering
- Requirements Management
- Requirements Specifications
- Requirements Traceability
- Requirements Validation
- Software Testing and Test Cases
- System Development Life Cycles
- Test Data Engineering
- Test Planning
- Testing Tools
- Testing Web Applications and Web Services
- Unified Modeling Language (UML)
- Usability
- Use Cases and User Stories
- User Interfaces
- Workflow Analysis
Business Analysis for Information Technology
Books and Selected Products
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second–Order Logic (Texts in Theoretical Computer Science. An Eatcs Series)
Springer
October 2006
Hardcover, 192 pages
ISBN: 3540329226
On-Site and On-Line Training Courses for Business Analysts
This book studies the relationship between automata and monadic second–order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf‘s Theorem and Thomas‘s graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second–order logic.
Business Analysis for Information Technology deals
