気になる情報

* Design by Contract

* DBC project – http://dbc.rubyforge.org/

2005年以降更新されていない。

CのソースコードのコメントにDBCの情報を埋め込み、展開するツールあり( http://dbc.rubyforge.org/ )

ここからCパーサとCプリプロセッサパーサのプロジェクトが分離したようだが、それについての情報は見つからない。

* Using Design by Contract in C
Charlie Mills
http://onlamp.com/pub/a/onlamp/2004/10/28/design_by_contract_in_c.html
DBC projectのMillsによる解説記事

* CパーサまたはCプリプロセッサパーサ

* CAST – parser for C written in Ruby – http://cast.rubyforge.org/

RubyによるCパーサ。別途Cプリプロセッサが必要。

* ActionScriptのためのcpp http://sourceforge.net/projects/flex2cpp/

* 構文解析

* Python

* Sparkの解説記事(IBM developer Woks)  http://www.ibm.com/developerworks/jp/linux/library/l-spark/index.html

* Ruby

* Ripper

Rubyのパーサ。2004年までしか更新されていない。

* ADL

* EAST-ADL

EAST-ADL – Wikipedia, the free encyclopedia – http://en.wikipedia.org/wiki/EAST-ADL

Papyrus UML – Papyrus for EAST-ADL – http://www.papyrusuml.org/scripts/home/publigen/content/templates/show.asp?P=146&L=EN

http://www.google.co.jp/url?sa=t&source=web&ct=res&cd=6&ved=0CCUQFjAF&url=http%3A%2F%2Fwww.atesst.org%2Fhome%2Fliblocal%2Fdocs%2FEAST-ADL-2.0-Specification_2008-02-29.pdf&ei=Jy-0S671AoqUkAXe24StDQ&usg=AFQjCNHAyw9l4wT7Es3-AekQAraHun6lPQ&sig2=0Gsks1chYbPtGjdg2KRT2w

* プログラミング

* Emacsの使い方

* http://www.bookshelf.jp/soft/meadow_41.html

*XML

* XMI

* MOF

* XML Schema

* @IT:連載 SEのためのXML Schema入門(1) 簡単なXML Schemaから始めよう – http://www.atmarkit.co.jp/fxml/rensai2/schema01/schema01.html

* Amazon.co.jp: XML Schema – http://www.amazon.co.jp/gp/search?field-keywords=XML+Schema&index=blended&tag=mozillajapan-fx-22&sourceid=Mozilla-search&__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&linkCode=qs

* W3C XML Schema – http://www.w3.org/XML/Schema#dev

* MSDN related to XML Schema

* XML Documentation to Wiki Transform – Home – http://code.msdn.microsoft.com/XMLDocsToWiki

* Parameter Discovery on Ms Access With XML option. Using Microsoft Patterns and P – Home – http://code.msdn.microsoft.com/ParameterDiscoveryo2

* Generating Excel document Templates From Data – Home – http://code.msdn.microsoft.com/DynamicExcelTemp

* Solid Code: C#3.0 ToXml Extension Method – http://solidcoding.blogspot.com/2007/11/c-toxml-extension-method.html

* – http://pastie.textmate.org/154909.txt

* Parsing XML using IronRuby – Home – http://code.msdn.microsoft.com/IronRubyXml

* OpenXMLDiff vNxt – Just an easy way of doing things – Home – http://code.msdn.microsoft.com/OpenXMLDiff

* Open XML Converter Interface Sample Code – Home – http://code.msdn.microsoft.com/openxmlconvinterface

* XML Editor:製品 XML Editor – http://www.oxygenxml.com/index.html

* Liuid XML Stdio 2010:製品 Liquid XML Studio – XML Schema Editor, XML Editor, XML Data Binder, XPath Viewer, Web Service Tools | Liquid Technologies – http://www.liquid-technologies.com/Xml-Studio.aspx

* SysML

* SysML 1.1 – http://www.omg.org/spec/SysML/1.1/

* 汎用グラフィカルモデリング言語「SysML」 パート1 - @IT情報マネジメント http://www.atmarkit.co.jp/im/carc/serial/redge49/redge49b.html

* ADL

* ADL modeling – Google 検索

* EAST- ADL – Wikipedia, the free encyclopedia – http://www.google.co.jp/url?sa=t&source=web&ct=res&cd=10&ved=0CDkQFjAJ&url=http%3A%2F%2Fen.wikipedia.org%2Fwiki%2FEAST-ADL&ei=7oG2S9myC5iekQXhoIWPDQ&usg=AFQjCNGIFUr5sDgX08WqZTDlfF6bm6kGlQ&sig2=QZ5tBK5z-Twf1_Qw1i02ZA

* AADL predictable model-based engineering http://www.aadl.info/aadl/currentsite/
* currentsite http://www.aadl.info/aadl/currentsite
* アーキテクチャ記述言語 – Wikipedia http://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%82%AD%E3%83%86%E3%82%AF%E3%83%81%E3%83%A3%E8%A8%98%E8%BF%B0%E8%A8%80%E8%AA%9E
* XML Metadata Interchange – Wikipedia http://ja.wikipedia.org/wiki/XML_Metadata_Interchange
* MOF 2.0 http://www.omg.org/spec/MOF/2.0/PDF/
* OMG’s MetaObject Facility (MOF) Home Page http://www.omg.org/mof/
* – 自動化のための nmake 入門講座 – ディレクトリ階層を扱う方法 http://www.objectclub.jp/community/memorial/homepage3.nifty.com/masarl/article/nmake/subdirs.html
* Apache Ant User Manual http://www.jajakarta.org/ant/ant-1.6.1/docs/ja/manual/
* Cacoo – Web上で図の作成とリアルタイムコラボレーション http://cacoo.com/
* CSpec
* toshi-kawanishi’s cspec at master – GitHub http://github.com/toshi-kawanishi/cspec/
* Toshiyuki Kawanishi Blog – Toshiyuki Kawanishi Blog : 燃え上がれC言語 その1 ― CSpec by Toshiyuki Kawanishi http://toshiyukikawanishi.net/modules/wordpress/index.php?p=214
* MDAへの道:AndroMDAアーキテクチャー http://blog.livedoor.jp/haru860/archives/15487682.html
* Wave API
* technohippy’s appengine_multi_robot_runner at master – GitHub http://github.com/technohippy/appengine_multi_robot_runner/
* sourceforuce.net
* Browse Byecycle Files on SourceForge.net http://sourceforge.net/projects/byecycle/files/
* Merlin Generator | Get Merlin Generator at SourceForge.net http://sourceforge.net/projects/merlingenerator/
* MetaDiff | Get MetaDiff at SourceForge.net http://sourceforge.net/projects/metadiff/
* pmMDA – poor man MDA – | Get pmMDA – poor man MDA – at SourceForge.net http://sourceforge.net/projects/pmmda/
* ANTLR plugin for Eclipse http://antlreclipse.sourceforge.net/
* Papyrus UML http://www.papyrusuml.org/scripts/home/publigen/content/templates/show.asp?P=114&L=EN&SYNC=Y
* ATESST -http://www.atesst.org/scripts/home/publigen/content/templates/show.asp?P=123&L=EN&ITEMID=12
* SPecification bAsed Component tESter | Get SPecification bAsed Component tESter at SourceForge.net http://sourceforge.net/projects/spaces/
* cc1.bz2をダウンロード – RDF Software Introspector – SourceForge.JP http://sourceforge.jp/projects/sfnet_introspector/downloads/patched%20gcc/svn%20head/cc1.bz2/
* モデリング – スラッシュドット・ジャパン http://slashdot.jp/softwaremap.pl?id=589
* PHP_UML http://pear.php.net/package/PHP_UML/docs
* MOFScript Home page http://www.eclipse.org/gmt/mofscript/
* UML Model transformation tool | Get UML Model transformation tool at SourceForge.net http://sourceforge.net/projects/umt-qvt/
* UMT-QVT Homepage http://umt-qvt.sourceforge.net/
* Index of /x2uml-xmi – UMLライブラリ – SourceForge.JP http://sourceforge.jp/cvs/view/x2uml-xmi/
* xmi-utils Project Top Page – SourceForge.JP http://en.sourceforge.jp/projects/sfnet_xmi-utils/
* 統一モデリング言語 – Wikipedia http://ja.wikipedia.org/wiki/%E7%B5%B1%E4%B8%80%E3%83%A2%E3%83%87%E3%83%AA%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E
* COINSコンパイラ・インフラストラクチャ http://www.coins-project.org/

* LLVM http://llvm.org

* Sakai Foundation homepage – http://socghop.appspot.com/gsoc/org/home/google/gsoc2010/sakai

* Android

* Avoiding memory leaks (超訳) – Android Zaurusの日記 – http://d.hatena.ne.jp/androidzaurus/20090121/1232519066

*PDG

定義-ソースコードの各ステートメントをノードとして、制御依存関係、データ依存関係、アークを使って結んだ有向グラフ。

並べ替えを用いたソースコードのオーバーホール

参照先

「ソースコードの並べ替えに基づくソフトウェア理解性評価」

寺井淳裕

NAIST-IS-MT9951074

*XML

*BDD

**Behavior Driven Developement

http://behaviour-driven.org/Implementations

*実装一覧

http://behaviour-driven.org/Implementations

*C

**CSpec

http://wiki.github.com/arnaudbrejeon/cspec/

*C++

**CppSpec

http://www.laughingpanda.org/projects/cppspec/

**Spec(++)

http://www.deanberris.com/spec-cpp

*Ruby

**Should,  Factory Girl

http://rubyforge.org/projects/test-spec

**Test Spec

http://rubyforge.org/projects/test-spec

**cucmber

http://wiki.github.com/aslakhellesoy/cucumber/

*SSpec BDD testing framework

http://www.squeaksource.com/@offNejbboqRUszXL/owZXoo9g

*tool

**srtk

http://srtk.tigris.org/

Software requirements toolkit (srtk)

要求管理のための、UNIXライクなツール集()

X/MIT License

2006年頃から開発が止まっている(?)

*xmlbasedsrs

Writing software requirements specifications as XML documents.

http://xmlbasedsrs.tigris.org/

ソフトウェア要求をXML文書として記述することは、大いに優位性がある。

Emacs, PSGL, CVS, xsltproc

Writing software requirements specifications as XML documents has quite a few advantages. Using open source tools like Emacs, PSGML, CVS and xsltproc gives us a powerful Requirements Engineering tool.

  1. Gather information using Emacs
  2. Validating specifications using psgml and XSLT
  3. Keeping track of changes using CVS and XSLT
  4. Creating nice output with xsltproc
  5. Transforming requirements data to project management tools

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です