Formalis yazılım geliştirmenin gereksinim belirleme – tasarım – geliştirme ve test aşamalarının sabit olarak düşünüldüğü ve geri dönüşlerin kısıtlı olduğu klasik şelale modeli yerine iteratif ve dinamik yazılım geliştirme metodolojilerini kullanmaktadır. İteratif yaklaşım ile projenin erken safhalarından itibaren çalışan bir yazılım ürünü ortaya çıkmakta ve nihai ürünün iş hedeflerini doğru karşılamasını sağlayacak bilgiler üretilebilmektedir. Her bir iterasyon yazılım ürününe bir dizi yeni özelliği ve davranışı kazandırmayı hedefleyen ve tüm yazılım geliştirme aşamalarını kapsayan süreçlerdir.

Formalis iteratif yaklaşım paralelinde kullanım senaryoları tabanlı gereksinim belirleme (use case driven requirement capturing), nesneye yönelik tasarım (object oriented design), yazılım geliştirme ekibinde yer alan yazılımcıların ikili halinde kod geliştirmesi (pair programming), öncelikle test kodlarının üretilmesi (test first approach) , tasarım atölye çalışmaları (design workshops), geliştirilen kodların standartlara ve gereksinimler ile uyumluluğunun denetlenmesi (code-review) çalışmalarının yapılması pratiklerini uygulamaktadır.

Yazılım Geliştirme Platformları
Formalis, Microsoft .NET ve Java platformunda uygulama geliştirir.

Microsoft .NET Platformunda;

• Microsoft sertifikalı yazılım geliştiricileri kadrosunda bulundurur.
• C# yazılım dili ile projelerini geliştirir. COM, COM+ ve XML Web Servisleri teknolojilerini projelerinde kullanır.
• Microsoft SharePoint Server, Project Server, BizTalk Server gibi sunucu uygulamaları hakkında bilgi ve tecrübe sahibidir.
• N-katmanlı kurumsal uygulamaları tasarlar ve geliştirir.

• Sun Sertifikalı JAVA geliştiricileri kadrosunda bulundurur.
• J2EE Spesifikasyonları ile uyumlu çözümler üretir.
• Veri erişiminde EJB, JDO, Hibernate, Jpox katmanlarını kullanır.
• MVC tasarım şablonuna uygun uygulama çatıları (Struts, JSF) kullanır.
• Açık kaynak kodlu yazılımları, geliştirilecek yazılım gereksinimlerine göre uyarlar ve entegrasyonunu gerçekleştirir.
• Uygulama sunucuları (WebSphere, Oracle, Tomcat, JBoss) ve portal sunucuları(Websphere, Oracle) üzerinde bilgi ve tecrübe sahibidir.

Nesneye Yönelik Tasarım
Yazılım projelerinin geliştirilmesinde nesneye yönelik tasarım ve geliştirme ilkeleri uygulanır. Bu ilkeler gereğince çözümü oluşturacak sınıflar ve sınıflar arası etkileşimler tasarlanır. Sınıflardan türetilecek nesnelerin özellikleri ve metotları tanımlanır. Tanımlamalarda “encapsulation”, “inheritance”, “polimorphism” gibi temel OOP kavramları kullanılır. OOP tasarım şablonları ile tasarım problemlerine doğruluğu ispatlanmış çözümlerin üretilmesi sağlanır. Jenerik uygulama bileşenleri tasarlanarak uygulamanın farklı bölümlerinde kullanılması sağlanır. Abstraction ve Interface teknikleri ile gelişmiş OOP pratikleri projelerde etkin olarak kullanılmaktadır.

Bileşen Fabrikası
Yazılım geliştirme, temelde manuel olarak işletilen iş süreçlerinin verimini arttırmak üzere otomasyonunun sağlanmasını hedefler. Genelde iş dünyasında karşılaşılan sorunlar ve sorunların teknik çözümleri benzerlikler içermektedir. Formalis teknik olarak ürettiği çözümleri bileşen fabrikasında geliştirir, test eder ve kullanıma sunar.
Bileşen fabrikası iş çözümlerinin ve yazılım araçlarının üretildiği ve sürekli geliştirildiği birimdir. Formalis yazılım geliştiricileri yazılım projelerinde bileşen fabrikasında yer alan çözüm ve araçları kullanırlar. Bu sayede her defasında aynı veya benzer çözümleri geliştirmek için efor harcamak yerine, mevcutta hazır bulunan, test edilmiş ve doğruluğu kanıtlanmış hazır çözüm ve araçlar ile üretim yaparlar.
Bu yaklaşım sayesinde Formalis iki büyük avantaj elde etmekte ve müşterilerini bu avantajlardan faydalandırmaktadır; Hız ve Kalite. Üretilen yazılım hazır çözüm ve araçlar ile daha kısa sürede geliştirilir, proje süresinde kısalma ve maliyetin düşürülmesi sağlanır. Hazır bileşenler test edilmiş ve doğru çalışan kod birimleridir. Kalite, performans ve yazılım güvenliği açısından ayrıca test edilmeleri gerekmeksiniz “tak ve çalıştır” yaklaşımı ile kullanılabilirler.

Standartlar
Yazılım geliştirme sürecinde veri erişimi, servis tasarım ve erişimi, kullanıcı arayüzü tasarımı, kodlama, kod dokümantasyonu gibi çalışmaların standartlara uygun olması ve geliştirme prosedürlerinin tanımlı olması gerekmektedir. Formalis tüm yazılım geliştirme aktiviteleri için uygun standart ve prosedürleri uygular. Temel aldığı standart ve prosedürlerin uygulama pratiklerini proje süreçlerinde denetler. PMI, ISO, OMG, IEEE, W3C gibi organizasyonlarca yayınlanan standartları yakından takip ederek kendi uygulama geliştirme süreçlerine uyarlar.

Prensipler
Formalis yazılım geliştirme yaşam çevriminde bir dizi mühendislik prensibi çerçevesinde çalışmalarını yürütmektedir. Bu prensiplerden bazıları aşağıda listelenmektedir;

• N-katmanlı mimari tasarımlar ile görsellik, veri erişimi ve iş nesnelerinin tümüyle birbirinden yalıtılması,
• Yazılım ürün geliştirme süresinin kısa tutulması ve bu sayede iş gereksinimlerine erken adaptasyon,
• Yeni teknolojilere adaptasyonu yüksek düzeyde sağlayabilmek için mimari yapılarda servis tabanlı gevşek bağlaşım (loosely coupled) tekniklerinin kullanılması,
• Yazılım geliştirmede hazır bileşenler, kütüphaneler, uygulama çatıları kullanılarak yazılım çözümlerinde ekonomik modellerin geliştirilmesi,
• Test süreçlerinin geliştirme süreçlerinden ayrı ekiplerce yürütülmesi ve kalitesi yüksek çıktılar üretilmesi,
• Geliştirilen yazılımın karmaşıklığından bağımsız olarak, kullanıcılara kolay kullanılabilir, kullanıcı dostu arayüzler sunulması