The effective and efficient functioning of Further Education and Training (FET) colleges is
pertinent to the development of critical, scarce and intermediate skills for the South African
labour market. To this end, ...
This chapter investigates the relationship between postmodernism, interpretivism, and formal ontologies,
which are widely used in Information Systems (IS). Interpretivism has many postmodernist traits. It
acknowledges ...
Formal specification of software systems has been very promising. Critics against the end
results of formal methods, that is, producing quality software products, is certainly rare. Instead,
reasons have been formulated ...
The aim of the study was to explore the way in which people from various gender,
age, ethnic, marital and job level groups differ in terms of their psychological
career resources (as measured by the Psychological Career ...
The learnability principle relates to improving the usability of software, as well as users’
performance and productivity. A gap has been identified as the current definition of the
principle does not distinguish between ...
South African home users of the Internet use the Internet to perform various everyday functions. These functions include, but are not limited to, online shopping, online gaming, social networking and online banking. Home ...
Technology adoption has been studied from a variety of
perspectives. Information systems, Sociology and Human-
Computer Interaction researchers have come up with various
models incorporating factors and phases to predict ...
Variability of goals and evolving research methodologies are fundamental characteristics
of transdisciplinary research. This integration of research strategies from different fields
complicates the evaluation of ...
Van Biljon, JudyRenaud, KarenMcGee, MarilynSeffah, Ahmed(SAICSIT, 2004)
In this paper the tenability of anti-patterns in Human-Computer Interaction is explored. Patterns have been accepted as being useful in software
development and more recently also in Human-Computer Interaction. A concerted ...
Van Biljon, JudyVan Dyk, TobieGelderblom, Helene(2010-11)
Mobile phones in South Africa have enjoyed an unprecedented technology adoption rate
due to their accessibility and usefulness. This prolific adoption of mobile phones diverts
attention from their limitations which include ...
Technology adoption models specify a pathway of technology
acceptance from external variables to beliefs, intentions, adoption
and actual usage. Mobile phone adoption has been studied from a
variety of perspectives, ...
Developing countries such as South Africa have underdeveloped human resources. Teaching with information
communication technology (ICT) as enabling technology has often been proposed as an approach to maximize the
development ...
A condensed specification of a multi-level marketing enterprise in the Z specification language is presented and a number of proof obligations that result from operations on the state is stated. The feasibility of using ...
A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...
A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements definition of complex systems. A UCM may be generated either from a set of informal requirements, or from use cases normally expressed ...
E-commerce has increased substantially, as e-retailers engage with consumers online. Users require more than products and quality service; they also expect a good user experience. User experience is affected by branding, ...
A formal specification of a multi-level marketing (MLM) business is presented. Specifying a MLM business boils down to
specifying properties of and operations on mathematical forests and trees. The usefulness of the ...
The Established Strategy for drawing up a Z specification document focuses on a more abstract activity of specification,
namely, how to combine schemas but is largely silent about how to construct a schema. Schema ...
Lall, ManojVenter, Lucas M.Van der Poll, John A.(2010-10)
Web services have enjoyed rapid acceptance in recent years. One of the motivating factors for this is the reliance on open standards for loose coupling and platform independent interface definition. Besides satisfying the ...
The specification of enterprise information systems using formal
specification languages enables the formal verification of these systems.
Reasoning about the properties of a formal specification is a tedious task that
can ...