欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JIRA
来自开放百科 - 灰狐
Bug Tracking, Issue Tracking, & Project Management
Features
- Manage bugs, features, tasks, improvements or any issue
- A clean and powerful user interface that is easy to understand for both business and technical users
- Map your business processes to custom workflows
- Track attachments, changes, components and versions
- Full text searching and powerful filtering (customisable, saveable, shareable and subscribeable!)
- Customisable dashboards and real-time statistics
- Enterprise permissioning and security
- Easily extended to and integrated with other systems (including email, RSS, Excel, XML and source control)
- Highly configurable notification options
- Runs on almost any hardware, OS and database platform
- Web service enabled for programmatic control (SOAP, XML-RPC and REST interfaces)
分享您的观点