projects:tla

Thu, 19 Nov 2009 00:34:19 +0200

Pages found on November 19 * Tools & Projects * etla * References * Prof Ladkin, Uni Bielefeld, DE * Michael Blume, Uni Bielefeld, DE * Prof. Reisig, HU Berlin, DE *

latex:start - created

Wed, 29 Apr 2009 22:29:34 +0200

The following page contain some information about typesetting in LaTeX. * epigraph * todo

eclipse:cnf:start - created

Wed, 29 Apr 2009 19:59:57 +0200

Using CNF Use-case-based topic description: General CNF setup The usage of CNF is about several questions. First of all, it is about definition of the CNF View. This is covered here. * Add org.eclipse.ui.navigator plugin dependency * Add the view definition (provide a hint to render the title) * Provide binding to content/filters/wizards <- here only the schema, the actual content is discussed later...(so the how and why goes here, the what is the subject of the next pages)

eclipse:start - CNF link added

Wed, 29 Apr 2009 19:39:11 +0200

Topics about Eclipse as a platform and RCP development: Frameworks * Common Navigator Framework RCP Development Web Start * *

start - eclipse added

Wed, 29 Apr 2009 19:37:39 +0200

This wiki is a central point of information structuring and is sometimes used as a notepad. General Topics General topics without any particular order: * Business Process Management Glossary (created by students of TUHH) * Enterprise Systems * Software Engineering * Eclipse

latex:todo - created

Thu, 18 Dec 2008 17:14:21 +0200

In order to mark some incomplete places in the document a small helper command todo can be defined. usepackage{color} newcommand{todo}[1]{textbf{textsc{textcolor{red}{(TODO: #1)}}}} References *

latex:epigraph

Thu, 18 Dec 2008 16:42:50 +0200

To use epigraph include the corresponding package: usepackage{epigraph} Then use epighaph command to create an epigraph: chapter{The Social Life of Rabbits} epigraph{Oh! My ears and whiskers!}% {Lewis Carroll} References *

projects:etla - created

Fri, 10 Oct 2008 01:03:31 +0200

Description and Purpose eTLA is a set of plugins that wrap TLA Tools and make them available inside Eclipse IDE. Features TODO * TLC should run in a separate process (VM) * The separation to core and ui plugin does not make any sense. It makes much more sense to merge them and pull the TLA Tools (original JAR) into the classpath of both plugins *

se:start

Fri, 10 Oct 2008 00:43:47 +0200

* Eclipse * Signatures * Unsign JAR Approaches * Continous Integration

se:ci:start - created

Fri, 10 Oct 2008 00:41:49 +0200

Continuous Integration Server Feature Matrix A comparison of several CI Systems can be found at: Continuous Integration Server Feature Matrix at codehaus.org (be advised: the site is hosted at codehaus who also offer their “damagecontrol” CI system)

TechJava