* 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
- XML Schema Part 0: Primer
- XML Schema Part 1: Structures
- XML Schema Part 2: Datatypes
- XML Schema: Component Designators
- Guide to Versioning XML Languages using XML Schema 1.1
- Processing XML 1.1 documents with XML Schema 1.0 processors
* 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ライクなツール集（）
２００６年頃から開発が止まっている（？）
*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.
- Gather information using Emacs
- Validating specifications using psgml and XSLT
- Keeping track of changes using CVS and XSLT
- Creating nice output with xsltproc
- Transforming requirements data to project management tools
