Spruce Science

Spruce Science is based on front-edge science including experience and know-how in mathematics and computer science, based on 20 years of R&D experience. Four Computing is connected to front-edge research, and we cooperate worldwide with universities of highest reputation.

Spruce logic is data typing and decision-making built upon formal logic as based on category theory and monad-oriented programming. Monads and partially ordered monads in particular are cornerstones in these structures. For more information, see e.g. BPMN and its Semantics for Information Management in Emergency Care.

Process modelling in Spruce builds upon category theory based semantics for BPMN used in cross-functional and event-based workflow modelling. For more information, see e.g. Monadic Extensions of Institutions.

Spruce Technology

Spruce Technology builds upon the Microsoft® .NET Framework. Stand-alone system components are available as developed under the .NET 4.0 Framework. Mobile extensions involve Windows Phone® and its corresponding .NET Compact Framework. Web solutions are ASP.NET 4.0 based in all its functions and components. The database management system is usually Microsoft’s SQL Server®.

The development tool for Spruce is Microsoft’s Visual Studio 2010® thus optimizing for Microsoft’s Windows® operating systems with Microsoft’s Windows Server® for server technology and security management.