전체보기
676
Caditor is a portable tabbed text editor featuring encryption, syntax highlighting, autocomplete, line numbering and a functional plugin system.
Caditor 및 암호화, 구문 강조, 자동 완성, 줄 번호 매기기 기능을 갖춘 휴대용 탭 텍스트 편집기입니다 기능은 시스템을 플러그인.
Dicodess is a software framework for developing distributed cooperative decision support systems. It helps build DSS for mission-critical decision-making situations happening in dynamic, rapidly changing and often unpredictable distributed environments.
Dicodess가 공동 의사 결정 지원 시스템을 분산 개발을위한 소프트웨어 프레임 워크입니다. 그것은 의사 결정, 동적에서 일어나는 상황을 만들기 미션 크리티컬 급속히 종종 예기치 않은 분산 환경과 변화에 대한 DSS을 구축할 수 있습니다.
Freeware Crossplatform Multiformat Dictionary (based on Qt4). It currently supports XDXF, DSL, MOVA formats.
무료 소프트웨어로 크로스플랫폼 멀티포맷 사전이다. (Qt4 기반) 최근에는 XDXF, DSL, MOVA 포맷들을 지원한다.
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
이 프로젝트는 소프트웨어와 공식적인 스펙 생성 접근 방식을 구현하는 프레임 워크입니다. 이 도구는 공식적인 모델링, 자동화된 구성과 시스템 사양의 공식적인 검증에 대한 이론을 지원합니다.
This project provide features to manage your tasks and control your activities. Get rpts as Pending Items, Latest and Solved Items. Send these to someone by e-mail and Schedule your tasks to receive alerts.
