A. Karl Kornel

Index:

Research Interests
Current Projects
Completed Projects
Return to Europa

Research Interests:

My interest is Software Systems. I am extremely interested in component software development, covering both the abstract (mathematical model) and concrete (usable code) sides of software component engineering. In addition, I am also interested in software documentation, writing well-formatted readable documentation on the things I create.

Current Projects:

Is_Equal_To / Contents_Equal_To

This project involves adding at least two new operations to each component in the RESOLVE Catalog. The two operations that will be added to all components are Is_Equal_To and Copy_To. The former is used to determine equality, while the second is used for copying.
For some components, the order of their contents is used for determining equality. For those components, I will be writing a third operation. This operation, currently called Contents_Equal_To will return true if the two components being tested have the same contents, regardless of their order.
This project is currently in limbo, while I focus on finishing Fixed_Length_Bit_String. If possible, it will be passed off to a new member to give him a good starter project.

Europa Web Site Automation

Originally, I had the idea of creating a suite of programs in an attempt to automate the Europa web site. However, the web site is currently being maintained by someone else. Therefore, this project is currently suspended. I may revive it at some point in the future.

Completed Projects:

Set Intersection/Subtraction

This project involved adding the Inersection and Subtract operation to the Set component, as extensions. The project has been completed. All code has been installed into the catalog and is available for usage. See my personal catalog for complete code.

Fixed_Length_Bit_String

In RESOLVE/C++, the Integer component is modeled on top of a mathematical integer. Because of this, bitwise (and related) operations can not be used without violating RESOLVE specs. Fixed_Length_Bit_String is a solution to this problem.
Fixed_Length_Bit_String is used to represent a string of bits. The length of the string is determined by the client. The client can perform various operations, from get/set to bitwise operations and bit shifting, and conversion to and from the Integer type, all within RESOLVE limits.
All of the operations have full abstract notation, and two implementations are available. Documentation is also available. This component complete and code is available, though modifications are always welcome!

  Return to Europa