Search:       RSS, Atom

Site navigation:

Software

Software produced as part of our research

  • JaCC – the Java Class Comparator library performs extraction of Java language types from binary (.class) format and type comparison adhering to the Java Language Specification rules.
  • OBCC – OSGi Bundle Compatibility checker is a tool that takes two OSGi bundles (most commonly, subsequent revisions of the same bundle), compares them and returns an indication whether the second one can be substituted for (used instead of) the first one while maintaining type safety with pre-existing clients.
  • OSGi Version Generator is an Ant task which evaluates two bundles for changes, and sets bundle version manifest header of the second bundle according to the OSGi version schema specification. Uses Java type system rules for compatibility evaluation.
  • C-Sim is a tool designed for discrete-time simulations. It has the form of a library written in ANSI C and its most important features are portability and performance. The design of the library is based on the SIMULA language. Latest version of C-Sim is 5.0 and can be downloaded either in the form of a compiled library or C source codes from the web-site.
  • J-Sim is a tool similar to C-Sim, i.e. it supports discrete-time simulation. The tool is written in Java using its object-oriented features. It is available in the form of a package from the web-site.
  • P-Sim is another simulation tool based on C-Sim. It is purely object oriented (as J-Sim) and implemented in the Python language. The current version is 1.0-pre1. The tool requires Python 2.2 or later.

— By Premek Brada on 23 èerven 2009, 11:35

---

Links

Here are some sources of interesting information:

— By Premek Brada on 2 duben 2008, 15:01

---

Conferences

The table and calendar below list conferences of interest to DSS members. See also other conference lists – that on Informatics Europe Events, IEEE Conferences Calendar and Software Engineering upcoming conferences map.

Acronym and Conference NameDeadlinePlaceFrom - To
ICANNGA 2013 -- 11th International Conference on Adaptive and Natural Computing Algorithms2012-10-08Lusanne, Switzerland2013-04-04 2013-04-06
SOFSEM 2013 -- 39th International Conference on Current Trends in Theory and Practice of Computer Science2012-06-22Špindlerův mlýn, Czech Republic2013-01-26 2013-01-31
 
 
 
DS-RT 2012 -- 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications2012-05-15Dublin, Ireland2012-10-25 2012-10-27
MSWiM 2012 -- The 15th ACM International Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems2012-05-05Paphos, Cyprus2012-10-21 2012-10-25
KDIR 2012 -- The International Conference on Knowledge Discovery and Information Retrieval 20122012-04-17Barcelona, Spain2012-10-04 2012-10-07
ASE 2012 -- 27th International Conference on Automated Software Engineering2012-02-24Essen, Germany2012-09-03 2012-09-07
ISC 2012 -- 10th Annual Industrial Simulation Conference2012-02-20Brno, Czech Republic2012-06-04 2012-06-06

Show all conferences

Manage Entries

— By Tomáš Potužák on 21 prosinec 2011, 09:34

---