[PDF][PDF] Software engineering methodologies: a review of the waterfall model and object-oriented approach

AAA Adenowo, BA Adenowo - International Journal of Scientific & …, 2013 - researchgate.net
This paper discusses two main software engineering methodologies to system development,
the waterfall model and the objectoriented approach. A review of literature reveals that …

In search of denotational mathematics: Novel mathematical means for contemporary intelligence, brain, and knowledge sciences

Y Wang - Journal of Advanced Mathematics and applications, 2012 - ingentaconnect.com
Denotational mathematics is a category of mathematical structures that deals with complex
mathematical entities in the domain of hyperstructures (, beyond those of real numbers (and …

A brief history of human-computer interaction technology

BA Myers - interactions, 1998 - dl.acm.org
Figure 1 shows the time span for some of the technologies discussed in this article. including
when they were introduced. Of course, a deeper analysis would reveal significant interaction …

[图书][B] Computer science handbook

AB Tucker - 2004 - taylorfrancis.com
When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

Proyecto docente e investigador. Catedrático de universidad. Perfil docente: Ingeniería del software y gobierno de tecnologías de la información. Perfil investigador …

FJ García-Peñalvo - 2018 - repositorio.grial.eu
Abstract Proyecto Docente e Investigador. Catedrático de Universidad. Perfil Docente:
Ingeniería del Software y Gobierno de Tecnologías de la Información. Perfil Investigador …

[图书][B] Formal engineering for industrial software development: Using the SOFL method

S Liu - 2004 - books.google.com
In any serious engineering discipline, it would be unthinkable to construct a large system
without having a precise notion of what is to be built and without verifying how the system is …

[图书][B] Requirements-Engineering systematisch: Modellbildung für softwaregestützte Systeme

H Partsch - 2010 - books.google.com
Requirements-Engineering befasst sich mit Vorgehensweisen zur Präzisierung der
Problemstellung am Beginn einer Systementwicklung. Es ist eine Teildisziplin im …

Quality-of-service specification in distributed object systems

S Frølund, J Koistinen - Distributed Systems Engineering, 1998 - iopscience.iop.org
Traditional object-oriented design methods deal with the functional aspects of systems, but
they do not address quality-of-service (QoS) aspects, such as reliability, availability …

PRAXIS: Um referencial para o Planeamento de Sistemas de Informação

L Amaral - 1995 - repositorium.uminho.pt
O Planeamento de Sistemas de Informação é a actividade da organização onde se define o
futuro desejado para o seu Sistema de Informação, para o modo como este deverá ser …

An empirical evaluation of mutation testing for improving the test quality of safety-critical software

R Baker, I Habli - IEEE Transactions on Software Engineering, 2012 - ieeexplore.ieee.org
Testing provides a primary means for assuring software in safety-critical systems. To
demonstrate, particularly to a certification authority, that sufficient testing has been …