Boumediene Belkhouche- Ph.D., Professional Software Engineering Master Certification
- Group Leader at École Buissonnière
Boumediene Belkhouche
- Ph.D., Professional Software Engineering Master Certification
- Group Leader at École Buissonnière
About
129
Publications
57,576
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
758
Citations
Introduction
Boumediene Belkhouche currently works at the Primitive Learning, École Buissonnière. Boumediene conducts research in Algorithms, Programming Languages, and Software Engineering. His current project is 'personalized learning', which investigates modeling of primitive learning using video games.
Current institution
École Buissonnière
Current position
- Group Leader
Additional affiliations
August 2019 - present
École Buissonnière
Position
- Group Leader
Description
- Modeling how learning occurs at primitive stages.
September 1990 - August 1991
École Polytechnique de Paris, France
Position
- Researcher
August 2006 - July 2019
Publications
Publications (129)
Information wikis and especially Wikipedia have become one of the most attractive environments for informal learning. The nature of wikis enables learners to freely navigate the learning environment and independently con-struct knowledge without being required to follow a predefined learning path in line with the constructivist learning theory. Lin...
Even though, most of the early efforts in personalized learning focused on formal learning, there is a growing undeniable demand for personalized support for informal learning. Wikis among other information-oriented platforms are experiencing an increasing attention for informal learning, especially Wikipedia. Link-based navigation and keyword-base...
Our research develops a framework for modeling and virtualizing cultural heritage using a game-based method. Our approach to preserve culture and keep it alive in a meaningful and engaging context adopts a multi-modal and interactive model that immerses the explorer into authentic and semantically-rich environments. Major objectives included: (1) s...
Information wikis and especially Wikipedia are attracting an increasing attention for informal learning. The nature of wikis enables learners to freely navigate the learning environment and independently construct knowledge without being forced to follow a predefined learning path in accordance with the constructivist learning theory. To the best o...
Our research provides a novel hardware/software autonomous car model that can be effectively deployed to carry out intelligent pickup and delivery missions. We develop a model of a Cooperative Autonomous Reactive Taxi System (CARTS) that contributes to solving the unsustainable urban traffic gridlock in large cities. Our model formulation is inspir...
The paper proposes a new approach to software evaluation, which takes into consideration cultural factors. We use Profile Theory to develop a model that captures the essential technical and cultural characteristics of contextually effective software evaluators. These evaluator-defining characteristics include cultural, organizational, technical, an...
We describe a new framework for computer visionbased
cooperative uav-assisted path planning for autonomous
ground vehicles. In recent years, unmanned aerial vehicles (UAVs)
have proved to be beneficial in many applications and services
including path planning for autonomous vehicles. Most of the
path planning applications assumes the availability o...
This paper addresses issues associated with requirements and software architecture for personalized learning systems. These systems aim to provide unique learning experiences through adapting to a variable set of learners’ characteristics at different levels of sophistication in many various contexts using broad range of technologies. The diversity...
Given the intellectual and cultural impact of prose stories, our primary goal is to automatically transform them into interactive game-like multimedia stories. Our major contribution is the development of a process and its associated tools to support the automatic transformation of traditional prose stories into interactive digital stories. The res...
A Software Model to Generate Digital Stories from Prose Stories.
Given the intellectual and cultural impact of prose stories, our primary goal is to automatically transform them into interactive game-like multimedia stories. Our major contribution is the development of a process and its associated tools to support the automatic transformation of t...
We define a new, fully automated and domain-independent method for building feature vectors from Twitter text corpus for machine learning sentiment analysis based on a fuzzy thesaurus and sentiment replacement. The proposed method measures the semantic similarity of Tweets with features in the feature space instead of using terms’ presence or frequ...
We elaborate a software model to support smart learning, a major component of smarter cities. By introducing various modes of learning, technology, and specifically educational technology, has drastically changed the knowledge acquisition process. One promising mode is game-based learning (GBL), which promotes the notion of smart learning. GBL prov...
![Figure 1. Naïve Bayes Multinomial Algorithm [19]](profile/Heba-Ismail-2/publication/339204628/figure/fig1/AS:857737747521536@1581512023010/Naive-Bayes-Multinomial-Algorithm-19_Q320.jpg)
![Figure 2. Bernoulli Naive Bayes Algorithm [19]](profile/Heba-Ismail-2/publication/339204628/figure/fig2/AS:857737747517440@1581512023047/Bernoulli-Naive-Bayes-Algorithm-19_Q320.jpg)
Twitter popularity has increasingly grown in the last few years making influence on the social, political and business aspects of life. Therefore, sentiment analysis research has put special focus on Twitter. Tweet data have many peculiarities relevant to the use of informal language, slogans, and special characters. Furthermore, training machine l...
We overview several local text reuse detection methods based on fingerprinting techniques. We first define the context of local text reuse and situate it within the general spectrum of information retrieval in order to pinpoint its particular applicability and challenges. After a brief description of the major text reuse detection approaches, we in...
We investigate navigation algorithms, and specifically path planning, a fundamental function of autonomous robots. We formally address the issue of enhancing reliability of the widely-used A* path planning algorithm. In our step-wise refinement process, we capture successively more concrete specifications by transforming a high-level specification...
Given an input document d, the problem of local text reuse detection is to detect from a given documents collection, all the possible reused passages between d and the other documents. Comparing the passages of document d with the passages of every other document in the collection is obviously infeasible especially with large collections such as th...
This study reviews published scientific literature on personalized language learning systems. The focus is threefold: 1) present a review and categorization framework that can be used to analyze and classify personalized language learning systems, 2) analyze recent work in personalized language learning systems and organize them under the proposed...
Considerable research efforts have been devoted to Twitter sentiment analysis in recent years. Given the informal writing style of Twitter, there exists an endless variety of sound vocabulary, slogans, emoticons and special characters that can be used to express one's opinion in a maximum of 140-characters. This results in a sparsity problem making...
ملخص – يحتاج الاتجاه التربوي التقليدي الى دعم بطرق جذرية لتوفير التلميذ المزيد من الفرص التي تمكنه من التعلم المستقل. نقدم بعض الاحصائات التي تشيرالى ضعف مستوى التلميذ العربي وقلة انتاج المعرفة في العالم العربي، ويعتبر مستوى الكفاءة اللغوية من أبرز أسباب هذا الضعف. لعلاج هذا الوضع صممنا نموذجا يدعم التعلم الذكي المستقل ويوفر وسائل إضافية لتحسين اكت...
ملخص – تعتبر القراءة مفتاحاً أساسياً لاكتساب المفردات، وتعلم المفردات هو المفتاح لتعلم اللغة بشكل متقن ، وإتقان اللغة هو مفتاح العلم والمعرفة. ندرك جميعاً عدم فعالية النهج التقليدي لتشجيع أطفالنا على القراءة حتى أصبحت عادة القراءة مهملة وغير ضرورية بالرغم من كل الجهود، فكان لزاماً علينا أن نجد طرقاً أخرى لتشجيع أطفالنا على القراءة. وبالتالي نقدم في...
We address the personalized/customized learning claim made by proponents of game-based learning (GBL), that is, GBL supports effectively learning personalization. Even though popular and fascinating, this claim remains unfounded. Indeed, in the literature on games, mentions of the multiplicity of exploration paths are put forth as examples giving p...
![Figure 1-Naïve Bayes Multinomial Algorithm [19]](profile/Boumediene-Belkhouche/publication/300169929/figure/fig1/AS:613935807987730@1523385111467/Naive-Bayes-Multinomial-Algorithm-19_Q320.jpg)
![Figure 2-Bernoulli Naive Bayes Algorithm [19]](profile/Boumediene-Belkhouche/publication/300169929/figure/fig2/AS:613935808016400@1523385111570/Bernoulli-Naive-Bayes-Algorithm-19_Q320.jpg)
Twitter popularity has increasingly grown in the last few years making influence on the social, political and business aspects of life. Therefore, sentiment analysis research has put special focus on Twitter. Tweet data have lots of peculiarities relevant to the use of informal language, slogans, and special characters. Furthermore, training machin...
By introducing various modes of learning, technology, and specifically educational technology, has drastically changed the knowledge acquisition process. One promising mode is game-based learning (GBL). GBL provides rich and meaningful contexts that effectively supports different forms of learning, which require novel software models. Yet, despite...
– تتمحور دراستنا حول تصميم و تطبيق هيكل يسهلللأطفال عملية اكتساب مهارات في اللغة العربية و من تم كان هدفنا الرئيسي تطوير لعبة توفرالأطفال اكتساب المهارات اللغوية تدريجيا بدءا من الحروف الأبجدية إلى جمل بسيطة. وتدور القضايا التي نتناولناها حول اختيار مفردات لغوية مناسبة و البنية المعرفية و هيكلة طرق الإدراك (خريطة المفاهيم)، و طرق الاستكشافضمن الخري...
يبنى مجتمع المعرفة على الكفائات ومن اهمها الكفاءة اللغوية. تبين معطيات انجاز التلميذ العربي ضعف مستواه. نقدم بعض النتائج لتوضيح هذا الانجازو نلخص بحوث حول الكفاءة اللغوية ومستوى الكتب الدراسية. فنرى ان تبسيط هذه الكتب تؤثرعلى الانجاز وكذلك نقدم بعض النتائج التي تظهر المستوى المنخفض لكتب دراسية في المرحلة الابتدائية. بالرغم من كل الجهود في تعليم الل...
Knowledge production is a by-product of learning. Thus, a knowledge society builds its strong foundations on cultivating its citizens and promoting an inclusive culture. Our paper takes a quick look at the past to contemplate the marvels of The House of Wisdom (Dar al Hikma) to glean the environmental factors that made it strive. We then survey and...
Firstly we covered the problem of rule definition for x-fixing Arabic roots. Instead of the traditional approach that relies on the semantics conveyed by x-fixing, we based our approach on the lexica. We present in this paper an extensible schema for rules definition, which we used to partially cover the cases of verbs produced by pre- and suffixin...
![Figure 3: Parts of Speech Distribution [13]](profile/Boumediene-Belkhouche/publication/317415582/figure/fig5/AS:392112727183365@1470498367249/Parts-of-Speech-Distribution-13_Q320.jpg)
Our research addresses the design and implementation of a gaming framework that facilitates the acquisition of Arabic linguistic skills for children. Issues that we address revolve around the selection of an appropriatè`sub-language", cognitive structures and knowledge organization (concept map), and the navigation modes through the map (knowledge...
Our research addresses the design and implementation of a gaming framework that facilitates the acquisition of Arabic linguistic skills for children. Issues that we address revolve around the selection of an appropriatè`sub-language", cognitive structures and knowledge organization (concept map), and the navigation modes through the map (knowledge...
Our research addresses the design and implementation of a gaming framework that facilitates the acquisition of Arabic linguistic skills for children. Issues that we address revolve around the selection of an appropriatè`sub-language", cognitive structures and knowledge organization (concept map), and the navigation modes through the map (knowledge...
We present a formal framework for the specification and analysis of object-oriented designs (OODs). Based on this framework, we describe an automated system for generating prototypes from the designs. The resulting CASE system takes as inputs a UML-based structural design and a CSP-based behavioral specification, performs various user-specified ana...
From any perspective, the introductory programming textbooks have be-come more of a back-breaker rather than a brain-maker. I see three ills with these textbooks: size, publisher-imposed curriculum, and poor conceptual organization. Looking at their physical appearance, one would be overwhelmed by their weight and their inordinate number of pages,...
![Figure 3: Parts of Speech Distribution ([11])](profile/Boumediene-Belkhouche/publication/249012672/figure/fig3/AS:614086387703814@1523421012132/Parts-of-Speech-Distribution-11_Q320.jpg)
Our research addresses the design and implementation of a gaming framework that facilitates the acquisition of Arabic linguistic skills for children. Issues that we address revolve around the selection of an appropriate "sub-language", cognitive structures and knowledge organization (concept map), and the navi-gation modes through the map (knowledg...
Globalization is adding more dimensions to software effort estimation process. The notions of leadership and culture carry with them highly variable assumptions, and thus, must be explicitly modeled. A new model that incorporates leadership and culture is proposed, elaborated and validated. A survey was undertaken to determine the impact of culture...
Globalization is adding more dimensions to software effort estimation process. The notions of leadership and culture carry with them highly variable assumptions, and thus, must be explicitly modeled. A new model that incorporates leadership and culture is proposed, elaborated and validated. A survey was undertaken to determine the impact of culture...
We present a formal framework for the specification and analysis of object-oriented designs (OODs). Based on this framework, we describe an automated system for generating prototypes from the designs. This system takes as inputs a UML-based structural design and a CSP-based behavioral specification, performs various user-specified analyses, and gen...
We develop a framework for using the Natural Language Toolkit (NLTK) to parse Quranic Arabic sentences. This framework supports the construction of a treebank for the Holy Quran. The proposed model succeeds in parsing different Quranic chapters (Suras) in addition to Modern Standard Arabic (MSA) sentences. The availability of such parser will be us...
There have been many developments in content-based image retrieval (CBIR) recently. While retrieval quality of such systems has improved dramatically in the last decade, the complexities involved made most available systems impractical in real-life use. These complexities are a combination of space use and computational time required. Most approach...
A major concern our research addresses is how to enhance the children's use of the Arabic dictionary to encourage them to independently learn more vocabulary. Even though the first Arabic dictionary was developed almost 1500 years ago, the state of the art in Arabic dictionaries has not made much progress and falls far behind dictionaries for other...
We use genetic algorithms and pattern matching to generate a morphological analyzer for Arabic verbs. Our approach consisted of developing general verb patterns and then applying these patterns to derive morphological rules. Except for some rare ambiguous cases, the resulting morphological analyzer is capable of recognizing all instances of verbs.
The discord between globalization and local culture is a divisive force, specifically in the
small Arab Gulf states where the number of expatriate professional is substantial. Because of the
familiarity of the highly-westernized physical environment, expatriates feel at home and carry out their
business, including their decision-making processes, a...
This paper presents an approximate linearized model for permanent-magnet synchronous motors. The linearized model is derived using an optimization technique, which is obtained by minimizing a cost function for a particular solution. Numerical experiments show good agreement of the method with the nonlinear system for both autonomous and non-autonom...
This paper reports on a preliminary analysis of a corpus consisting of Arabic language textbooks used in primary schools. The input to our process is a raw text extracted from Arabic textbooks used by the Emirates curriculum of grades 1 through 6. Various aspects, including word and root frequencies, parts-of-speech distribution, phonology, and the...
Simulation software plays a very important role in education and research applications. They provide a safe, easy and flexible environment for developing and testing new methods. However developing a simulation software that reflects the exact behavior of the real system is a difficult and complicated task. In this paper we used hybrid process alge...
Cooperation among autonomous mobile agents requires mechanisms to efficiently support communication. The interaction between mobility and communication and the constant re-localization of mobile agents raise several mobil-ity management issues. To address these issues, we develop mechanisms for a full and autonomic mobility management of agents wit...
This paper deals with the problem of modeling, ini- tialization, and control of mobile robots formation. We suggest to use a new family of methods that con- sists of a combination between classical guidance laws and kinematics rules. These methods allow modeling and controlling a dynamic robotic formation using sets of difierential equations that g...
We use hybrid specification methods to capture the behavior of the perceptual system of autonomous mobile robots. A robot
is divided into three main subsystems: the perceptual subsystem, the planning subsystem, and the acting subsystem. The perceptual
system is itself decomposed into subsystems. We elaborate a formal description of these subsystems...
Culture and leadership factors play an important role in soft- ware development and cost estimation. We discuss the many dimensions of culture and leadership and their impact on cost estimation in software development. We conducted a survey to identify leadership and cultural factors that may influence the software development process and its as- s...
The problem of collision course between a mobile robot and a moving object is modeled in polar coordinates using the kinematics equations. A model of the relative motion of the moving object as seen by the robot is then derived. This model consists of the relative velocities along and across the visibility line, and gives the range rate and the tur...
This paper presents a trajectory-based linearized model for a permanent magnet synchronous motor. The linearized model is derived using an optimization technique, when minimizing a cost function along a particular solution. Numerical experiments show good agreement of the method with the nonlinear system for both autonomous and non-autonomous cases...
We presented a method for robotic navigation and tracking of an unpredictably moving object. Our method is kinematics-based, and combines the pursuit law with the rendezvous law. First a kinematics model is derived. This kinematics model gives the motion of the goal with respect to the robot. The first equation gives the range rate between the robo...
In this paper we introduce a new family of navigation functions for robot navigation and obstacle avoidance. The method can be used for both path finding and real-time path planning. Each navigation function is composed of three parts: a proportionality term, a deviation function and a deviation constant. Deviation functions are time-varying functi...
We present a method for wheeled mobile robot navigation based on the proportional navigation law. This method integrates the robot's kinematics equations and geometric rules. According to the control strategy, the robot's angular velocity is proportional to the rate of turn of the angle of the line of sight that joins the robot and the goal. We der...
This paper presents the abstract representation of Goal Expression Language (GEL). GEL is a very simple language used to specify analysis goals for an object-oriented design. This language is close to natural language and hence the learning factor is very low. GEL is part of a formal framework designed for the specification and analysis of objector...
In this paper, we present a method for robot navigation toward a moving object with unknown maneuvers. Our strategy is based on the integration of the robot and the target kinematics equations with geometric rules. The tracking problem is modeled in polar coordinates using a two-dimensional system of differential equations. The control law is then...
We consider the problem of robot navigation and tracking of moving objects using a wheeled mobile robot. Our control algorithm uses the proportional navigationlaw. This approachcombines geometricalrules with the kinematics equations of the robot and the moving goal. We derive a relative kinematics model describing the motion of the goal seen by the...
Internal dependencies among object components character- ize the behaviors of objects and differentiate objects from records. Fun- damental typing/subtyping shortcomings and loopholes still persist in current object type systems due to the overlook of such object compo- nent interdependencies. Object type graphs (OTG), which capture these interdepe...
A water quality GIS/database has been developed for the Mississippi River within the state of Louisiana. Existing ambient water quality data (1.3 million records) and records of river stage and discharge for the river and its tributaries have been acquired from government agencies, industry, and research projects. Data were initially reviewed to va...
In this paper, we consider the problem of robot tracking and navigation toward a moving goal. The goal's maneuvers are not a priori known to the robot. Thus, off-line strategies are not effective. To model the robot and the goal, we use geometric rules combined with kinematics equations expressed in a polar representation. The intent of the strateg...
This paper deals with the design of a control strategy for a wheeled mobile robot goalkeeper whose task is to intercept the ball before it goes inside the goal. The control law is based on the parallel navigation guidance law where the goalkeeper moves on lines which are parallel to the initial line of sight that joins the robot and the ball. A rel...
In this paper, we discuss a multi-robot rendezvous problem. The aim is to design decentralized control laws for N robots moving in the horizontal plane in order to reach an unpredictably moving point at the same time. The rendezvous problem is modeled using the relative kinematics equations. Our control laws are derived using the integration of geo...
In this paper we consider the problem of hunting an unpredictably moving prey using a group of robots. We elaborate a mathematical model for the tracking-navigation problem based on geometric rules. This model consists of systems of two differential equations describing the relative motion of the prey with respect to the robots. The control laws ar...
This paper deals with a method for robot navigation to-wards a moving goal. The goal maneuvers are not a priori known to the robot. Our method is based on the use of the kinematics equations of the robot and the goal combined with geometrical rules. First a kinematics model for the tracking problem is derived and two strategies are suggested for ro...
This paper deals with the problem of modeling and controlling a robotic convoy. Guidance laws techniques are used to provide a mathematical formulation of the problem. The guidance laws used for this purpose are the velocity pursuit, the deviated pursuit, and the proportional navigation. The velocity pursuit equations model the robot's path under v...
Les dépendances internes parmi les propriétés des objets caractérisent leurs compor-tements et les différencient des enregistrements. Des problèmes fondamentaux de typage/sous-typage persistent encore dans les systèmes de types d'objets parce que les interdépendances parmi ces propriétés ne sont pas prises en compte. Dans ce papier, nous proposons...
In this paper we present a control strategy for tracking-interception of moving objects using wheeled mobile robots. This method makes use of geometric rules combined with the kinematics equations. The objective of the control strategy is to put the robot in a rendezvous course with the target. This is accomplished by keeping the robot in the line...
Internal dependencies among object components characterize the behaviors of objects and differentiate objects from records. Fundamental typing/subtyping shortcomings and loopholes still persist in current object type systems due to the overlooking of such interdependencies. In this paper, we first identify a new movable point problem that exists in...
One challenge in software design is ensuring that the design meets the requirements of the user. One way to do this is to create a prototype from the design, then devising a set of test cases to test for the behavioral requirements. Here we present our automated prototype generator and method for testing behavior.
Object types are abstract specifications of object behaviors and semantics. Object behaviors and semantics are abstractly indicated by object component interdependencies. In conventional object type systems, object component interdependencies are not taken into account, and as such, fundamental typing/subtyping loopholes that make program run-time...
This paper deals with the control of a wheeled mobile robot goalkeeper, where the goalkeeper's task is to intercept the ball before it goes inside the goal. The control law is based on the use of the kinematics equations and some geometrical rules. In our control strategy, the goalkeeper moves in a predefined path which corresponds to a rendezvous...
This paper deals with the problem of tracking and interception of an object moving with unknown maneuvers by a wheeled mobile robot. We design a closed loop control law based on a guidance strategy for this purpose. The guidance strategy uses geometrical rules combined with the kinematics equations, where the robot's angular velocity is equal to th...
The present paper discusses a linearization method for second order multidimensional time-invariant systems. The method approximates locally the nonlinear vector fie ld around the equilibrium, where the solution starting from a given initial state near the equilibrium is approximated by a linear solution. This linearization is usually called local...
This paper describes a lineralized model for the pure pursuit guidance law kinematics equations. The linear model is derived using a linearization along trajectory that approximates the pure pursuit from the starting point to the interception. Unlike the classical linearization, the linearization coefficients depend on the initial line of sight ang...
This paper deals with the linearization of the nonlinear model describing the kinematics equations of the line of sight guidance law. The linearized model is derived based on optimization techniques, where different cost functions are used. It turns out that in the case of maneuvering targets, the linear coefficients are time independent and time d...
Detecting plagiarism in software is a computationally complex process. At the same time it is critical, for the lack of a deterrent through detection may result in various losses. Several systems to detect plagiarism have been proposed. However, their lexically-based analysis is not powerfull enough and can be foiled with minimal efforts. To addres...
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and for- malized. To achieve this task, an object-oriented design language that captures the structural and behavioral mod- els was defined. An environment consisting of a graphical us...
This paper deals with the elaboration of a feedback con- trol algorithm for the control of an escaping robot engaged in a pursuit-evasion game. The pursuer is a smart robot moving with a control strategy that is unknown and unpre- dictable to the evader. Our control strategy is based on the use of geometric rules, where the equilibrium point charac...
Electronic commerce technology offers new opportunities for small and medium-sized enterprises to extend their customer base in the global marketplace. One of the major technological challenges for many of these businesses is the lack of both information technology skills and knowledge about electronic commerce. Adopting electronic commerce can be...
Reconsidering and disentangling some fundamental relationships and issues.
An integrated model for crisis management is described. The implementation of this model consists of several software packages, a knowledge base, and set of expert rules. Existing rules and regulations designed specifically to tackle various types of possible crises (e.g., fire) are formalized. A prototype was implemented to demonstrate the feasibi...
This paper discusses the necessary framework for efficient and secure support for mobile computations that can commence execution at one site, move to a dif- ferent site, and continue execution from the point where they left off. We also discuss the design and imple- mentation of a Mobile Computation System (MCS) that includes an object oriented Mo...
Introduction: general concepts -- software evolution -- software characteristics -- software crisis -- software life cycles: waterfall model, prototyping, generic -- software development paradigm ffl Topic 2: Requirements analysis and definition -- problem areas -- communication, tools, dynamic nature of needs problem recognition problem evaluation...
Software models are important for the evaluation and management of environmental resources. This paper presents a framework for developing a software system for water quality analysis of river ecosystems. A major component of the system is a database that permits inclusion of analytical water quality and sediment data, river geometry and sampling s...
This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming languages. The Internet has long provided a global computing in frastructure but, for most of its history, there has not been much interest in programmi...
Semantics of Notation 1 Abstract Interpretation Abstract Semantics of Notation 2 of Notation 2 Concrete Semantics (Mapping Functions) Abstraction Functions Figure 2: Multiple View Analysis Framework. validity). These analyses are performed to guarantee that each design is well-- constructed [15, 13]. Well--constructed designs are subsequently subje...
This research is an attempt to provide some basis for a systematic and problem independent objectoriented analysis approach. It presents an object oriented requirements analysis strategy based on a knowledge representation scheme. An abstract model and a strategy for object-oriented requirements analysis (OORA) are described. The proposed OORA stra...
Semantic case analysis provides a useful and powerful tool for the object-oriented requirements analyst. Two important areas of object-oriented requirements analysis are addressed: (1) identification of entities which should be modeled as objects in the software design; and (2) detection of ambiguity, inconsistency and incompleteness in the require...
OO Modeling Framework As stated earlier, the diversity in the terminology and symbology makes an all--inclusive discussion of the fundamental OO modeling concepts tedious. To facilitate the task, a synthesis is presented here to relieve the reader from the pecularities of each of the methods. Figures 3 and 2 will be used to describe OO modeling. 2....
Formal specifications of design models and an automated analysis system are desirable regardless of the methodology employed in the development process. The object--oriented software development paradigm is being advocated as an effective software methodology. Yet, neither a design framework, nor a set of analysis tools has been proposed to support...
A language based on uninterpreted atomic actions and supporting angelic nondeterminism and parallel composition is studied. The language includes also a version of the rendezvous protocol for synchronization between processes. An operational semantics and related adequate and fully abstract denotational semantics for the language are presented. In...
Questions
Questions (2)
I am looking at game-based learning (GBL) from a Software Engineering perspective, trying to formulate a framework to support GBL development. Unlike the many "conceptual models" and "theories" being advocated by GBL evangelists who seem not to appreciate implementability issues, my main concern is what can be effectively implemented. Granted, the concepts of "theory" and "conceptual model" these evangelists discuss are neither for a computer scientist. Thus, among the many questions I have, I would greatly appreciate comments on the following:
1. Does the learning process exist?
2. If so, what would be an effective procedure that captures the learning process?
An analysis of widely used introductory programming textbooks shows that: (1) their size is inordinate; (2) their structure lacks conceptual foundations; (3) their content is a decorated reference manual; (4) their supplementary material (slides and others provided by the publisher) is dictating what we teach and how we teach; (5) they present material that is irrelevant to programming foundations.
And yet, we keep on requiring them in our introductory courses. Have we abdicated our responsibilities?
