Question: Are Philips Videopac + G7400 and Acorn Electron both computer-based systems?

Context articles: Acornsoft
Computer user satisfaction
Philips P2000
Starship Command
Acorn Computers
Musician (video game)
Acorn Electron
Philips Videopac + G7400
Pickaxe Pete
Vienna Development Method

Acornsoft was the software arm of Acorn Computers, and a major publisher of software for the BBC Micro and Acorn Electron.
 As well as games, it also produced a large number of educational titles, extra computer languages and business and utility packages – these included word processor "VIEW" and the spreadsheet "ViewSheet" supplied on ROM and cartridge for the BBC Micro/Acorn Electron and included as standard in the BBC Master and Acorn Business Computer.
Computer user satisfaction (and closely related concepts such as "System Satisfaction", "User Satisfaction", "Computer System Satisfaction", "End User Computing Satisfaction") is the attitude of a user to the computer system (s)he employs in the context of his/her work environments.
 Doll and Torkzadeh's (1988) definition of user satisfaction is, "the opinion of the user about a specific computer application, which they use".
 In a broader sense, the definition of user satisfaction can be extended to user satisfaction with any computer-based electronic appliance.
 However, scholars distinguish between user satisfaction and usability as part of Human-Computer Interaction.
 Successful organisations have systems in place which they believe help maximise profits and minimise overheads.
 It is therefore desirable that all their systems succeed and remain successful; and this includes their computer-based systems.
 According to key scholars such as DeLone and McLean (2002), user satisfaction is a key measure of computer system success, if not synonymous with it.
 However, the development of techniques for defining and measuring user satisfaction have been ad hoc and open to question.
 The term "Computer User Satisfaction" is abbreviated to "user satisfaction" in this article.
The Philips P2000T home computer was Philips' first real entry in the home computer market, after the Philips Videopac G7000 game system (better known in the U.S. as the Magnavox Odyssey2) which they already sold to compete with the Atari 2600 and similar game systems.
 There was also an P2000M version with an additional 80-column card for use with a monochrome monitor.
 This version shipped with a monitor cabinet also housing a dual 5.25" floppy drive.
Acornsoft's Starship Command is a computer game released in 1983 for the BBC Micro and Acorn Electron.
 It was available on cassette as well as 5.25" disc for the BBC and ROM cartridge for the Acorn Electron Plus 1 expansion module.
 The game was written by Peter Irvin who, along with Jeremy Smith, went on to create the complex arcade adventure "Exile".
Acorn Computers Ltd. was a British computer company established in Cambridge, England, in 1978.
 The company produced a number of computers which were especially popular in the UK, including the Acorn Electron and the Acorn Archimedes.
 Acorn's BBC Micro computer dominated the UK educational computer market during the 1980s.
 It is more known for its BBC Micro model B computer than for its other products.
Musician is cartridge number 31 in the official Magnavox/Philips line of games for the Philips Videopac.
 It came in a cardboard box roughly double the size of a standard Videopac game box, containing a keyboard overlay in the style of a piano keyboard; the cartridge, in a standard Videopac box with a single sheet where the manual would usually be; and a landscape format manual, over double the size of a standard game manual.
The Acorn Electron is a budget version of the BBC Micro educational/home computer made by Acorn Computers Ltd.
 It has 32 kilobytes of RAM, and its ROM includes BBC BASIC v2 along with its operating system.
The Philips Videopac+ G7400 is a video game console released in limited quantities in 1983,
Pickaxe Pete is cartridge number 43 in the official Philips line of video games for the Philips Videopac.
 In North America, it was released as Pick Axe Pete!
 for the Magnavox Odyssey² console.
 In Brazil, "Pickaxe Pete" was re-branded as "Didi na Mina Encantada" ("Didi in the Enchanted Mine") for Odyssey (Brazil's version of the Philips Videopac).
 "Pickaxe Pete" was designed by Ed Averett, who wrote the majority of the games for the Odyssey².
 A national competition involving the game, known as "The Pick Axe Pete Pick-Off", was held at the World's Fair in October 1982.
The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems.
 Originating in work done at the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL).
 It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems.
 Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models.
 There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science.