activity
20072025
most citedInstruction sequences with indirect jumps

25 citations · 637 across the 113 of their papers we have counts for

collaborators
Showing cs.SEShow all

13 papers · 1 filter

cs.SE2013★ 2 cited

Decision Taking versus Promise Issuing

Jan A. Bergstra

An alignment is developed between the terminology of outcome oriented decision taking and a terminology for promise issuing. Differences and correspondences are investigated betwee…

cs.SE2012★ 5 cited

Informaticology: combining Computer Science, Data Science, and Fiction Science

Jan A. Bergstra

Motivated by an intention to remedy current complications with Dutch terminology concerning informatics, the term informaticology is positioned to denote an academic counterpart of…

cs.SE2012★ 4 cited

Decision Taking for Selling Thread Startup

Jan A. Bergstra

Decision Taking is discussed in the context of the role it may play for a selling agent in a search market, in particular for agents involved in the sale of valuable and relatively…

cs.SE2012★ 3 cited

Decision Taking versus Action Determination

Jan A. Bergstra

Decision taking is discussed in the context of the role it may play for various types of agents, and it is contrasted with action determination. Some remarks are made about the rol…

cs.SE2012★ 6 cited

Decision Taking as a Service

Jan A. Bergstra

Decision taking can be performed as a service to other parties and it is amenable to outtasking rather than to outsourcing. Outtasking decision taking is compatible with selfsourci…

cs.SE2012★ 3 cited

Four Conceptions of Instruction Sequence Faults

Jan A. Bergstra

The notion of an instruction sequence fault is considered from various perspectives. Four different viewpoints on what constitutes a fault, or how to use the notion of a fault, are…

cs.SE2012★ 3 cited

About Instruction Sequence Testing

J. A. Bergstra

Software testing is presented as a so-called theme within which different authors and groups have defined different subjects each of these subjects having a different focus on test…

cs.SE2011★ 9 cited

Stratified Outsourcing Theory

J. A. Bergstra, G. P. A. J. Delen, S. F. M. van Vlijmen

The terminology of sourcing, outsourcing and insourcing is developed in detail on the basis of the preliminary definitions of outsourcing and insourcing and related activities and…

cs.SE2011★ 3 cited

Introducing Sourcements

J. A. Bergstra, G. P. A. J. Delen, S. F. M. van Vlijmen

Sourcing processes are discussed at a high abstraction level. A dedicated terminology is developed concerning general aspects of sourcing. The term sourcement is coined to denote a…

cs.SE2010★ 3 cited

Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations

J. A. Bergstra, S. F. M. van Vlijmen

Outsourcing, the passing on of tasks by organizations to other organizations, often including the personnel and means to perform these tasks, has become an important IT-business st…

cs.SE2010★ 7 cited

Informal Control code logic

Jan A. Bergstra

General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and r…

cs.SE2007

Machine structure oriented control code logic

J. A. Bergstra, C. A. Middelburg

Control code is a concept that is closely related to a frequently occurring practitioner's view on what is a program: code that is capable of controlling the behaviour of some mach…

cs.SE2007★ 22 cited

Interface groups and financial transfer architectures

Jan A. Bergstra, Alban Ponse

Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as programs…