Topluluk Z Araçları Z Düzenleme, Yazma ve Animasyonlu Z Özellikleri ve İlgili Bildirimleri
Şimdi İndirin

Topluluk Z Araçları Sıralama ve Özet

Topluluk Z Araçları Etiketler

toplum aletler düzenleme araçları TypeChecking Araçları

Topluluk Z Araçları Açıklama

Z özelliklerine ve ilgili gösterimler, düzenleme typechecking ve canlandırmak için Araçlar Topluluk Z Araçları (CZT) projesi böyle Nesne-Z ve TCOZ olarak Z uzantıları için bazı desteği ile Z şartname dilde yazılmış biçimsel özelliklere, düzenleme typechecking ve canlandırmak için bir dizi araç inşa ediyor. Bu araçlar, tüm Z araçları için CZT Java çerçeve kullanılarak inşa edilir. Z belirtim dili proje gereksinimlerini kesin veya sistemlerin davranışını belirtmek için kullanılır 2002 yılında ISO standardı olarak kabul edilmiştir ve vb Ancak, Z şartname dilinin yaygın kullanımına büyük engellerden biridir Z araçları inşa ettik aracı support.Many projelerinin bir sorun gibi görünüyor, ürün kalitesi bazı kanıtı, animasyon, deney nesil yoluyla bu davranışını analiz öğrenci projeleri gibi çoğu. Çok az birbirleriyle entegre edilir; Birkaç desteği tüm yeni ISO standardı; Daha az hala projeler bittikten ve öğrenciler veya araştırmacılar üzerinde taşınmış gibi kaybolmuş sonra geliştiriciler prototip aşamasına geliştirilmiştir expect.Many iyi fikirler başladığını entegre çevrenin tür oluşturmak için bir araya oluşturmak ve. Z ayrıştırıcı için bir istek Z haber ortaya çıkmaktadır sayısı sürü insan kendi enstitü dışında görülebilir asla çoğu araçlar üretiyoruz öneriyor. ileri araçların durumunu ve böylece take-up Z.Our hedeflerin (Z için standart XML değişim biçimi ile) mevcut Z araçları arasındaki karşılıklı alışverişi teşvik etmek olan hareket edecek ve bina için açık kaynak kütüphaneleri temin etmek entegre çaba ve yeni Z araçlarını entegre. Biz inşa ediyoruz yazılım / içerecektir kapsamaz: 1. Z. See Bu markup.2 açıklayan bir kağıt için ZB2003 dava için bir XML Şeması işaretleme. Z, ek açıklama sözdizimi ağaçları (AST) .3 için Java sınıfları. XML ve Java AST.4 arasında dönüştürmek için Java sınıfları. Her Z aracı (biçimlendirme-dönüştürücüler, ayrıştırıcı, tip denetleyici vb şema genişleme) gerekli ortak operasyonlar için Java kütüphaneleri. Bu açıklayan bir kağıt ZB2005.5 sunulacak. Kolayca özel Z unicode sembolleri girmek için tesisleri ile bir veya grafiksel Z editörleri daha basit. Başlangıçta jEdit.6 kullanıyoruz. Bir Z animasyon aracı özelleştirilebilir grafik kullanıcı interface.7 ile ZLive adı. Diğer notasyonlardan veya başka Z araçları için çıkış Z'ye araçları aktarın. (Örneğin, HTML çıktı, Latex çıkışı, B ve JML çeviri) .8. kütüphaneler ve araçlar Genişletilmiş versiyonları böyle Nesne-Z ve TCOZ olarak Z uzantılarını destekleme. Bu sürümde yenilikler: · Bu sürüm Z Nesne-Z ve Sirk kurallı belirtim dilleri için araçlar da dahil olmak halen geliştirilmeye tüm CZT araçları, anlık görüntüsüdür. · Czt_1_5_0_bin.jar bir GUI programı ya da bir komut satırı programı olarak kullanılabilir CZT bir ikili açığa çıkmasıdır. Örneğin: · CZT GUI açmak için .jar dosyayı tıklayın 1.. · 2. Veya CZT GUI açmak için 'java-jar czt_1_5_0_bin.jar' yapmak. · 3. Do 'java-jar czt_1_5_0_bin.jar --help' komut satırı arayüzü kullanmak. · Czt_1_5_0_eclipse_plugin.zip Eclipse 3.4 için bir CZT eklentidir. Sadece üst düzey Eclipse klasöründe ( 'özellikleri' ve 'eklentileri' dizinleri içerir biri) içine bu .zip dosyası unzip, yüklemek için, daha sonra Eclipse yeniden başlatın. · 'Dosya / Yeni / Diğer ... / CZT / CZT Projesi' komutu Z özelliklerine oluşturmak için daha sonra 'Dosya / Yeni / Z Özellikleri' Yeni bir CZT projesi oluşturmak ve kullanılabilir. Eclipse 'Yardım / Yardım İçindekiler' sayfasında bir CZT manuel yoktur. · Ayrıca aşağıdaki CZT yazı yüklemelisiniz. · CZTSans_1_5_0.ttf eklendi Z tüm Unicode karakterleri ile bir Bitstream Vera yazı tipidir. - mesela bu yazı bazı Microsoft programlarının çökmesine neden olabilecek Windows sistemlerinde: Eclipse ve JEdit editörler Z. UYARI doğru Unicode karakterleri görüntüleyebilir, böylece sisteminize bu yüklemelisiniz. Bu yazı sistemde yüklü ise Visual Studio Form tasarımcısı yasadışı bellek erişimi hatası veriyor. · Czt_1_5_0_src.zip svn bilgileri dahil tüm CZT kaynak dosyalarını içerir. Bunu derlemek için, Java ve Maven son sürümünü gerekir. Ayrıntılar için INSTALL.txt dosyasına bakın.

Topluluk Z Araçları İlgili Yazılım