Archives and Documentation Center
Digital Archives

Browsing Bilgisayar Mühendisliği by Subject "Computer software -- Development."

Browsing Bilgisayar Mühendisliği by Subject "Computer software -- Development."

Sort by: Order: Results:

  • Model checking of ambient calculus specifications against ambient logic formulas 
    Akar, Ozan. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2009., 2009.)
    Formal methods are mathematical techniques applied in specification and verification of concurrent interactive systems. Model checking is a widely used formal method for formal verification of systems. In model checking, ...
  • Software effort estimation using ensemble of neural networks with associative memory 
    Kültür, Yiğit. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2008., 2008.)
    In software industry, most of the budget is used for project implementation. Therefore, each software company has to manage its workforce effectively. Estimating the software effort accurately is essential for workforce ...
  • Verification of BPEL specifications using model checking 
    Akçay, Mehmet N. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2008., 2008.)
    Service Oriented Architecture(SOA) is based on creating services which can be distributed on a network by different business flows. Business Process Execution Language (BPEL) is a recent specification language to express ...

Search Digital Archive


Browse

My Account