View All Items

Title: Software development for ecological data systems.
Creator: Lostal, Sergio L., Florida Atlantic University, Larrondo-Petrie, Maria M., Solomon, Martin K., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: Software development for ecological data systems is concentrated in the description, modeling, and standardization of large amounts of ecological data. Ecological data assembled in many formats is very difficult to reuse. This thesis develops a database model that supports the storage of heterogeneous data in standardized formats. Ecological data standardization is solved with the specification of a structure conversion system. Because input formats cannot be predicted, a scientific data...
Show moreSoftware development for ecological data systems is concentrated in the description, modeling, and standardization of large amounts of ecological data. Ecological data assembled in many formats is very difficult to reuse. This thesis develops a database model that supports the storage of heterogeneous data in standardized formats. Ecological data standardization is solved with the specification of a structure conversion system. Because input formats cannot be predicted, a scientific data description language was created to control the execution of the conversion system. System analysis is based on interviews with South Florida Water Management District scientists conducting ecosystem research, and ecological data collected at Lake Okeechobee, Florida, during a five-year study. Object-oriented and structural methods were used for analysis. Development is complemented with an introduction to user interfaces.
Show less
Date Issued: 1996
PURL: http://purl.flvc.org/fcla/dt/15344
Subject Headings: Ecology--Data processing, Information storage and retrieval systems--Ecology, Okeechobee, Lake (Fla)
Format: Document (PDF)

Title: Approaches to object/relational database systems.
Creator: Vijayanagaram, Hemanth Kumar., Florida Atlantic University, Solomon, Martin K., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: In this thesis, we investigate the different proposed ways of combining object oriented and relational database systems (such combined systems are commonly called object-relational systems). This thesis is based on ideas presented in various papers about object and object relational databases. In this work, a discussion of standards such as ANSI's SQL3 (to be released) and ODMG-93 is given. In particular, the "Class = Relation" and "Class = Domain" approaches to object-relational systems are...
Show moreIn this thesis, we investigate the different proposed ways of combining object oriented and relational database systems (such combined systems are commonly called object-relational systems). This thesis is based on ideas presented in various papers about object and object relational databases. In this work, a discussion of standards such as ANSI's SQL3 (to be released) and ODMG-93 is given. In particular, the "Class = Relation" and "Class = Domain" approaches to object-relational systems are investigated. Arguments supporting the proposition that the latter approach is the correct approach are presented.
Show less
Date Issued: 1996
PURL: http://purl.flvc.org/fcla/dt/15350
Subject Headings: Object-oriented databases, Relational databases
Format: Document (PDF)

Title: Generating formal models from UML class diagrams.
Creator: Shroff, Malcolm Keki., Florida Atlantic University, France, Robert B., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: The rich structuring mechanisms, and abstract modeling constructs available in most graphical object-oriented modeling methods (OOMs) facilitate the creation of abstract, visually-appealing, highly-structured graphical models. On the other hand, lack of formal semantics for the modeling notation can severely limit the utility of OOMs. Formal specification techniques (FSTs) support the creation of precise and analyzable specifications, but they can be tedious to create and difficult to read,...
Show moreThe rich structuring mechanisms, and abstract modeling constructs available in most graphical object-oriented modeling methods (OOMs) facilitate the creation of abstract, visually-appealing, highly-structured graphical models. On the other hand, lack of formal semantics for the modeling notation can severely limit the utility of OOMs. Formal specification techniques (FSTs) support the creation of precise and analyzable specifications, but they can be tedious to create and difficult to read, especially by system developers not trained in formal methods. The complementary strengths of OOMs and FSTs suggest that their integration can result in techniques that can be used to create precise and analyzable models. This thesis describes a technique for integrating analysis level UML (Unified Modeling Language) Class Diagrams with the formal notation Object-Z.
Show less
Date Issued: 1997
PURL: http://purl.flvc.org/fcla/dt/15514
Subject Headings: UML (Computer science), Object-oriented methods (Computer science)
Format: Document (PDF)

Title: The notion of aggregation.
Creator: Saksena, Monika., Florida Atlantic University, France, Robert B., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: Most popular object-oriented modeling techniques (OOMTs) provide good support for the creation of conceptual models of system behavior and structure. A serious drawback of these techniques is that the concepts and notations used are not rigorously defined. This can lead to the creation of ambiguous models, and to disagreements over the proper use and interpretation of modeling constructs. An important modeling construct that is often loosely defined is aggregation. This thesis presents a...
Show moreMost popular object-oriented modeling techniques (OOMTs) provide good support for the creation of conceptual models of system behavior and structure. A serious drawback of these techniques is that the concepts and notations used are not rigorously defined. This can lead to the creation of ambiguous models, and to disagreements over the proper use and interpretation of modeling constructs. An important modeling construct that is often loosely defined is aggregation. This thesis presents a precise characterization of aggregation that can help developers identify appropriate applications of the concept. Our characterization is the result of careful analysis of literature on conceptual modeling, knowledge representation and object-oriented (OO) modeling. We discuss primary and secondary properties of aggregation and propose annotations for UML (Unified Modeling Language). An extensive discussion of the more useful patterns of aggregation helps developers pick a suitable prescription of aggregation.
Show less
Date Issued: 1998
PURL: http://purl.flvc.org/fcla/dt/15537
Subject Headings: Object-oriented methods (Computer science), UML (Computer science)
Format: Document (PDF)

Title: Analysis and implementation issues of the Icon Generator, Manager and Repository for an icon-based software engineering environment.
Creator: Portnoy, Ilya., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: Computer icons, along with animation, sound and other multimedia features, can facilitate communications between clients, software engineers and managers. Icon-based Software Engineering Environment (IconSEE++), being developed at Florida Atlantic University, uses icons to convey concepts describing object-oriented software development projects, as well as to navigate to all technical and non-technical project documentation. IconSEE++ is composed of three layers. The Icon Generator, Manager...
Show moreComputer icons, along with animation, sound and other multimedia features, can facilitate communications between clients, software engineers and managers. Icon-based Software Engineering Environment (IconSEE++), being developed at Florida Atlantic University, uses icons to convey concepts describing object-oriented software development projects, as well as to navigate to all technical and non-technical project documentation. IconSEE++ is composed of three layers. The Icon Generator, Manager and Repository form a part of the middle layer. This thesis includes a survey of visual development tools and their comparison to IconSEE++. For the Icon Generator, Manager and Repository, the thesis presents object-oriented analysis models in UML notation, identifies implementation issues and provides strategies to solve them. Numerous code segments illustrating proposed solutions have been developed.
Show less
Date Issued: 1999
PURL: http://purl.flvc.org/fcla/dt/15635
Subject Headings: Graphical user interfaces (Computer systems), Signs and symbols--Data processing
Format: Document (PDF)

Title: Towards a portal and search engine to facilitate academic and research collaboration in engineering and.
Creator: Bonilla Villarreal, Isaura Nathaly, Larrondo-Petrie, Maria M., Florida Atlantic University, College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: While international academic and research collaborations are of great importance at this time, it is not easy to find researchers in the engineering field that publish in languages other than English. Because of this disconnect, there exists a need for a portal to find Who’s Who in Engineering Education in the Americas. The objective of this thesis is to built an object-oriented architecture for this proposed portal. The Unified Modeling Language (UML) model developed in this thesis...
Show moreWhile international academic and research collaborations are of great importance at this time, it is not easy to find researchers in the engineering field that publish in languages other than English. Because of this disconnect, there exists a need for a portal to find Who’s Who in Engineering Education in the Americas. The objective of this thesis is to built an object-oriented architecture for this proposed portal. The Unified Modeling Language (UML) model developed in this thesis incorporates the basic structure of a social network for academic purposes. Reverse engineering of three social networks portals yielded important aspects of their structures that have been incorporated in the proposed UML model. Furthermore, the present work includes a pattern for academic social networks.
Show less
Date Issued: 2014
PURL: http://purl.flvc.org/fau/fd/FA00004179, http://purl.flvc.org/fau/fd/FA00004179
Subject Headings: Computer network architecture, Critical theory, Embedded computer systems, Interdisciplinary research, Software architecture, UML (Computer science)
Format: Document (PDF)

Title: Complexity metrics in parallel computing.
Creator: Larrondo-Petrie, Maria M., Florida Atlantic University, Fernandez, Eduardo B., Coulter, Neal S., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: Accompanying the potential increase in power offered by parallel computers is an increase in the complexity of program design, implementation, testing and maintenance. It is important to understand the logical complexity of parallel programs in order to support the development of concurrent software. Measures are needed to quantify the components of parallel software complexity and to establish a basis for comparison and analysis of parallel algorithms at various stages of development and...
Show moreAccompanying the potential increase in power offered by parallel computers is an increase in the complexity of program design, implementation, testing and maintenance. It is important to understand the logical complexity of parallel programs in order to support the development of concurrent software. Measures are needed to quantify the components of parallel software complexity and to establish a basis for comparison and analysis of parallel algorithms at various stages of development and implementation. A set of primitive complexity measures is proposed that collectively describe the total complexity of parallel programs. The total complexity is separated into four dimensions or components: requirements, sequential, parallel and communication. Each proposed primitive measure is classified under one of these four areas. Two additional possible dimensions, fault-tolerance and real-time, are discussed. The total complexity measure is expressed as a vector of dimensions; each component is defined as a vector of primitive metrics. The method of quantifying each primitive metric is explained in detail. Those primitive metrics that contribute to the parallel and communications complexity are exercised against ten published summation algorithms and programs, illustrating that architecture has a significant effect on the complexity of parallel programs--even if the same programming language is used. The memory organization and the processor interconnection scheme had no effect on the parallel component, but did affect the communication component. Programming style and language did not have a noticeable effect on either component. The proposed metrics are quantifiable, consistent, and useful in comparing parallel algorithms. Unlike existing parallel metrics, they are general and applicable to different languages, architectures, algorithms, paradigms, programming styles and stages of software development.
Show less
Date Issued: 1992
PURL: http://purl.flvc.org/fcla/dt/12296
Subject Headings: Parallel programming (Computer Science), Computer algorithms
Format: Document (PDF)

Title: Industrial-strength formalization of object-oriented real-time systems.
Creator: Raghavan, Gopalakrishna., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: The goal of this dissertation is to propose an industrial-strength formal model for object-oriented real-time systems that captures real-time constraints using industry standard notations and tools. A light-weight formalization process is proposed that is semi-formal, graphical and easier to read and understand. This process supports formal behavior analysis, verification and validation. It is very effective in early detection of incompleteness and ambiguities in the specifications. The...
Show moreThe goal of this dissertation is to propose an industrial-strength formal model for object-oriented real-time systems that captures real-time constraints using industry standard notations and tools. A light-weight formalization process is proposed that is semi-formal, graphical and easier to read and understand. This process supports formal behavior analysis, verification and validation. It is very effective in early detection of incompleteness and ambiguities in the specifications. The proposed process uses industry standard tools and fits well within stringent industrial schedules. Formal requirements analysis is conducted using High Level Message Sequencing Chart (HMSC) and Message Sequencing Chart (MSC). In the formal analysis phase, the static structures are modeled using Unified Modeling Language (UML) and the constraints are formalized using Object Constraint Language (OCL). System behavior is formally modeled using Specification and Description Language (SDL) during the formal design phase. SDL is used for behavior modeling due to wide commercial availability of SDL-based tools for formal behavior analysis and validation. Transition rules mapping from UML Class Diagrams and Statecharts to SDL models are proposed. SDL models are formally simulated and validated during the formal validation phase. Using the proposed process real-time clock, timer, periodic process, aperiodic process, resource and precedence constraints were formalized. Different types of timers, such as periodic, aperiodic, one-shot, fixed-interval and variable-interval timers are derived using inheritance models. Semaphore wait and signal operations are formalized as part of the resource constraint. Pre-conditions, post-conditions and invariants for the real-time constraints were captured using OCL. Behavior of the proposed models were captured using Statecharts. The proposed mapping rules were used to translate the behavior models to SDL. The SDL models were formally simulated and validated using Telelogic Software Development Tool (SDT). The tools allowed extensive model analysis and helped uncover several design flaws. The real-time constraints were stereotyped and packaged into reusable formal components. These components can be easily imported by applications. Two case studies, Cruise Control System and Bottle Filling System, are included to illustrate the use of the proposed process and the real-time package. The "industrial-strength" of the process was validated by utilizing the proposed process in an industrial project where it was found to accelerate the development process.
Show less
Date Issued: 2000
PURL: http://purl.flvc.org/fcla/dt/12632
Subject Headings: Object-oriented programming (Computer science), Real-time data processing, Formal methods (Computer science)
Format: Document (PDF)

Title: Analysis of graphical user interfaces designed for an ecological data system.
Creator: Thampi, Lakshmi V., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: The South Florida Water Management District (SFWMD) established in 1949, is the oldest and largest water management institution in Florida. The Lake Okeechobee Ecosystem Study (LOES) a five-year study, conducted by SFWMD to collect information about water quality and other ecological factors in the Lake Okeechobee area, is one of the many projects that the SFWMD is involved in for the restoration of Florida's ecosystem. The study resulted in a large volume of information being compiled by...
Show moreThe South Florida Water Management District (SFWMD) established in 1949, is the oldest and largest water management institution in Florida. The Lake Okeechobee Ecosystem Study (LOES) a five-year study, conducted by SFWMD to collect information about water quality and other ecological factors in the Lake Okeechobee area, is one of the many projects that the SFWMD is involved in for the restoration of Florida's ecosystem. The study resulted in a large volume of information being compiled by scientists into files of different formats. Florida Atlantic University (FAU) undertook the task of restructuring the database and designing and implementing the Graphical User Interfaces (GUI) to support this ecological system. As part of an earlier project, an object model was designed to standardize the files that also helped in the creation of a relational database to store the information. A goal of the current project was to design GUIs that could be used without difficulty, by persons that may or may not be database technology familiar. This thesis describes and analyzes the design and implementation of the GUIs. It focuses on the two types of interfaces implemented, namely the Query and Administrative forms. The implementation of the GUIs were completed and tested and deployed at SFWMD.
Show less
Date Issued: 2000
PURL: http://purl.flvc.org/fcla/dt/12661
Subject Headings: Graphical user interfaces (Computer systems), Information storage and retrieval systems--Ecology
Format: Document (PDF)

Title: Information hiding: Digital watermarking techniques.
Creator: Sadicoff, Mauricio Levy., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
Abstract/Description: Digital Watermarking is a multimedia technique recently developed with the purpose of enhancing copyright protection on multimedia files. This thesis presents a survey of digital watermark features and classifications. It also proposes a classification method that includes most of previous classifications. The thesis then proceeds to detail two digital watermarking methods, Lower Significant Bit Encoding and Spread Spectrum Encoding. Software is designed and implemented to show the...
Show moreDigital Watermarking is a multimedia technique recently developed with the purpose of enhancing copyright protection on multimedia files. This thesis presents a survey of digital watermark features and classifications. It also proposes a classification method that includes most of previous classifications. The thesis then proceeds to detail two digital watermarking methods, Lower Significant Bit Encoding and Spread Spectrum Encoding. Software is designed and implemented to show the capabilities and behavior of each method. The software also shows how each method reacts to four typical transformations (attacks). The results of applying the two methods and their survival rates against the typical transformations are discussed in detail. Finally, the source code for the software is made available.
Show less
Date Issued: 2002
PURL: http://purl.flvc.org/fcla/dt/12897
Subject Headings: Computer software--Development, Digital watermarking, Data encryption (Computer science)
Format: Document (PDF)

UML (Computer science) (3)	+ -
Graphical user interfaces (Computer systems) (2)	+ -
Information storage and retrieval systems--Ecology (2)	+ -
Object-oriented methods (Computer science) (2)	+ -
Computer algorithms (1)	+ -

Computer network architecture (1)	+ -
Computer software--Development (1)	+ -
Critical theory (1)	+ -
Data encryption (Computer science) (1)	+ -
Digital watermarking (1)	+ -
Ecology--Data processing (1)	+ -
Embedded computer systems (1)	+ -
Formal methods (Computer science) (1)	+ -
Interdisciplinary research (1)	+ -
Object-oriented databases (1)	+ -
Object-oriented programming (Computer science) (1)	+ -
Okeechobee, Lake (Fla) (1)	+ -
Parallel programming (Computer Science) (1)	+ -
Real-time data processing (1)	+ -
Relational databases (1)	+ -
Signs and symbols--Data processing (1)	+ -
Software architecture (1)	+ -

College of Engineering and Computer Science (10)	+ -
Florida Atlantic University (10)	+ -
France, Robert B. (2)	+ -
Solomon, Martin K. (2)	+ -
Bonilla Villarreal, Isaura Nathaly (1)	+ -

Coulter, Neal S. (1)	+ -
Fernandez, Eduardo B. (1)	+ -
Lostal, Sergio L. (1)	+ -
Portnoy, Ilya. (1)	+ -
Raghavan, Gopalakrishna. (1)	+ -
Sadicoff, Mauricio Levy. (1)	+ -
Saksena, Monika. (1)	+ -
Shroff, Malcolm Keki. (1)	+ -
Thampi, Lakshmi V. (1)	+ -
Vijayanagaram, Hemanth Kumar. (1)	+ -

Search In

Sort Results By:

Narrow results by:

Collection

Topical Subject

Genre

Type of Resource

Language

Creator

Format

Owner